Вы здесь
Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2012
Ключевые слова:
Стр.:
28 с.
Библиография:
Библиогр.: c.26-28
Номер:
165
Карточка:
Б3.54.
Ануреев И. С..
Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем-2012.-28 с.-(Препринт ИСИ СО РАН №165).
Библиогр.: c.26-28
Таблица в старой библиотеке:
ISI3 297