Вы здесь
Верификация С-программ с помо ью смешанной аксиоматической семантики
Количество экземпляров:
1
Вид:
Автореферат
Год:
2012
Ключевые слова:
Стр.:
17 с.
Библиография:
Библиогр.: c.15-17
Место защиты:
Номер специальности:
05.13.11
Карточка:
Б3.54.
Марьясов И. В..
Верификация С-программ с помо ью смешанной аксиоматической семантики: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, 2012.-17 с.
Библиогр.: c.15-17
Таблица в старой библиотеке:
ISI3 219