Вы здесь
Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2009
Ключевые слова:
Стр.:
С.61-77
Библиография:
Библиогр.: c.76-77
Издательство:
Источник:
Номер:
1
Карточка:
Б3.54.
Кузьмин Е. В., Соколов В. А., Чалый Д. Ю..
Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ: Springer// Программирование-2009, №1.-С.61-77
Библиогр.: c.76-77
Таблица в старой библиотеке:
PAP31 345