Вы здесь
Формализация семантики и верификация программ обработки данных
Количество экземпляров:
1
Вид:
Автореферат
Год:
1983
Ключевые слова:
Стр.:
24 с.
Библиография:
Библиогр.: c.23-24
Место защиты:
Номер специальности:
01.01.10
Карточка:
Петрушин В. А..
Формализация семантики и верификация программ обработки данных: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.10.-Киев, 1983.-24 с.
Библиогр.: c.23-24