Вы здесь
REAL: язык для спецификации и верификации систем реального времени
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
С.174-224
Библиография:
Библиогр.: c.215-216
Источник:
Номер:
7
Карточка:
Б4.52, Б3.44, Б3.15.
Непомнящий В. А., Шилов Н. В., Бодин Е. В..
REAL: язык для спецификации и верификации систем реального времени// Системная информатика-2000, №7.-С.174-224
Библиогр.: c.215-216
Таблица в старой библиотеке:
ISI2 367