Вы здесь
Верификация алголо-подобных программ методом индуктивных высказываний
Количество экземпляров:
1
Вид:
Автореферат
Год:
1984
Ключевые слова:
Стр.:
15 с.
Библиография:
Библиогр.: c.14-15
Место защиты:
Номер специальности:
01.01.10
Источник:
Карточка:
Черноброд Л. В..
Верификация алголо-подобных программ методом индуктивных высказываний: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.10.-Новосибирск, 1984.-15 с.
Библиогр.: c.14-15