Вы здесь

Integrating VDM++ and Real-Time System Design

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.188-219.
Библиография: 
Bibliogr.: p.212-213
Издательство: 
Том: 
1212
Карточка: 

Б3.33, Б3.52.

Lano K., Goldsack S., Bicarregui J., Kent S..

Integrating VDM++ and Real-Time System Design: Springer// Lecture Notes in Computer Science-1997.-Vol. 1212.-P.188-219.
Bibliogr.: p.212-213

Таблица в старой библиотеке: 
PAP16 328