Вы здесь
На пути к верификации C-программ, язык C-light и его трасформационная семантика
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2006
Ключевые слова:
Стр.:
С.359-368
Библиография:
Библиогр.: c.368
Источник:
Номер:
2-3(с/в)
Карточка:
Б2.23.
Непомнящий В. А., Ануреев И. С., Промский А. В..
На пути к верификации C-программ, язык C-light и его трасформационная семантика// Проблемы программирования-2006, №2-3(с/в).-С.359-368
Библиогр.: c.368
Таблица в старой библиотеке:
PAP30 718