Вы здесь

A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.12-25.
Библиография: 
Bibliogr.: p.24-25
Издательство: 
Том: 
1622
Карточка: 

Б3.13, Б3.4.

Lundqvist K., Asplund L., Michell S..

A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects: Springer// Lecture Notes in Computer Science-1999.-Vol. 1622.-P.12-25.
Bibliogr.: p.24-25

Таблица в старой библиотеке: 
PAP19 661