Вы здесь
Методы построения и верификации моделей системного программного обеспечения информационно-управляю их систем
Количество экземпляров:
1
Вид:
Автореферат
Год:
2004
Ключевые слова:
Стр.:
16 с.
Библиография:
Библиогр.: c.16
Место защиты:
Издательство:
Номер специальности:
05.13.12
Карточка:
Б3.54, В4.31, В4.33.
Окулевич В. В..
Методы построения и верификации моделей системного программного обеспечения информационно-управляю их систем: Автореферат диссертации на ученую степень: канд. техн. наук.: 05.13.12.-Санкт-Петербург, Heidelberg: Springer, 2004.-16 с.-(Lecture Notes in Computer Science).
Библиогр.: c.16
Таблица в старой библиотеке:
DAR1MP 481