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