Вы здесь
Симуляция и верификация статических SDL-спецификаций распределенных систем с помо ью промежуточного языка REAL
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2007
Ключевые слова:
Стр.:
70 с.
Библиография:
Библиогр.: c.68-69
Место издания:
Номер:
142
Карточка:
Б2.23.
Непомнящий В. А., Бодин Е. В., Веретнов С. О., Тюрюшкин М. В..
Симуляция и верификация статических SDL-спецификаций распределенных систем с помо ью промежуточного языка REAL-Новосибирск., 2007.-70 с.-(Препринт ИСИ СО РАН №142).
Библиогр.: c.68-69
Таблица в старой библиотеке:
PREP3 101