Штрюбинг Вольфганг - Динамическая верификация программ на языке Паскаль с исполняемыми аннотациями : автореферат дис. ... кандидата физико-математических наук : 01.01.10

Карточка

Штрюбинг Вольфганг.

Динамическая верификация программ на языке Паскаль с исполняемыми аннотациями : автореферат дис. ... кандидата физико-математических наук : 01.01.10 / Ленинградский гос. ун-т. - Ленинград, 1981. - 10 с.
FB 9 89-11/124-X

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеДинамическая верификация программ на языке Паскаль с исполняемыми аннотациями : автореферат дис. ... кандидата физико-математических наук : 01.01.10
Дата поступления в ЭК 12.09.1997
Каталоги Авторефераты диссертаций
Сведения об ответственностиЛенинградский гос. ун-т
Выходные данныеЛенинград, 1981
Физическое описание10 с.
BBK-кодЗ973.22-018-5-05,0
ЯзыкРусский
Места храненияFB 9 89-11/124-X