Вы здесь

Верификация алголо-подобных программ методом индуктивных высказываний

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

Черноброд Л. В..

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