Вы здесь
На пути к верификации C-программ. Язык C-light и его формальная семантика
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
С.19-30
Библиография:
Библиогр.: c.30
Источник:
Номер:
6
Карточка:
Б2.23, Б3.15.
Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В..
На пути к верификации C-программ. Язык C-light и его формальная семантика// Программирование-2002, №6.-С.19-30
Библиогр.: c.30
Таблица в старой библиотеке:
PAP26 235