Вы здесь
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка C-kernel
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2008
Ключевые слова:
Стр.:
32 с.
Библиография:
Библиогр.: c.32
Место издания:
Номер:
150
Карточка:
Б2.23.
Марьясов И. В..
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка C-kernel-Новосибирск., 2008.-32 с.-(Препринт ИСИ СО РАН №150).-(Lecture Notes in Computer Science).
Библиогр.: c.32
Таблица в старой библиотеке:
ISI3 48