Вы здесь
Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2012
Ключевые слова:
Стр.:
52 с.
Библиография:
Библиогр.: c.34-35
Место издания:
Номер:
161
Карточка:
Б3.54.
Непомнящий В. А., Бодин Е. В., Веретнов С. О..
Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL-Новосибирск., 2012.-52 с.-(Препринт ИСИ СО РАН №161).
Библиогр.: c.34-35
Таблица в старой библиотеке:
PREP3 150