Вы здесь
На пути к верификации С-программ. Часть 1. Язык C-LIGHT
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2001
Ключевые слова:
Стр.:
48 с.
Библиография:
Библиогр.: c.38
Номер:
84
Карточка:
Б2.23, Б3.15.
Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В..
На пути к верификации С-программ. Часть 1. Язык C-LIGHT-2001.-48 с.-(Препринт ИСИ СО РАН №84).
Библиогр.: c.38
Таблица в старой библиотеке:
ISI2 362