Вы здесь
Применение смешанной аксиоматической семантики языка c-kernel к верификации программы топологической сортировки
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2010
Ключевые слова:
Стр.:
34 с.
Библиография:
Библиогр.: c.20
Место издания:
Номер:
155
Карточка:
Б2.23.
Марьясов И. В..
Применение смешанной аксиоматической семантики языка c-kernel к верификации программы топологической сортировки-Новосибирск., 2010.-34 с.-(Препринт ИСИ СО РАН №155).
Библиогр.: c.20
Таблица в старой библиотеке:
PREP3 132