Вы здесь

Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
2010
Стр.: 
44 с.
Библиография: 
Библиогр.: c.35-36
Место издания: 
Номер: 
156
Карточка: 

Б2.23.

Непомнящий В. А., Бодин Е. В., Веретнов С. О..

Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL-Новосибирск., 2010.-44 с.-(Препринт ИСИ СО РАН №156).
Библиогр.: c.35-36

Таблица в старой библиотеке: 
ISI3 96