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

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

Шифр хранения:
FB 9 89-11/124-X

Marc21

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

Показать

Описание

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