Вы здесь

Applying RT-Z to Develop Safety-Critical Systems

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.51-65.
Библиография: 
Bibliogr.: p.65
Издательство: 
Том: 
1783
Карточка: 

Б3.51, Б2.15, Б3.33.

Suhl C..

Applying RT-Z to Develop Safety-Critical Systems: Springer// Lecture Notes in Computer Science-2000.-Vol. 1783.-P.51-65.
Bibliogr.: p.65

Таблица в старой библиотеке: 
PAP21 238