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