Вы здесь
Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2010
Ключевые слова:
Стр.:
44 с.
Библиография:
Библиогр.: c.35-36
Место издания:
Номер:
156
Карточка:
Б2.23.
Непомнящий В. А., Бодин Е. В., Веретнов С. О..
Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL-Новосибирск., 2010.-44 с.-(Препринт ИСИ СО РАН №156).
Библиогр.: c.35-36
Таблица в старой библиотеке:
ISI3 96