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