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

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

Математическое обеспечение вычислительных машин и систем
Шифр хранения:
OD Дк 82-1/748

Marc21

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

Показать

Описание

Автор
ЗаглавиеДинамическая верификация программ на языке Паскаль с исполняемыми аннотациями : диссертация ... кандидата физико-математических наук : 01.01.10
Коллекции ЕЭК РГБ Каталог диссертаций
Дата поступления в ЕЭК 20.05.2017
Каталоги Диссертации
Сведения об ответственностиЛенинградский гос. ун-т
Выходные данныеЛенинград, 1981
Физическое описание79 с.
ТемаМатематическое обеспечение вычислительных машин и систем
BBK-кодЗ973.22-018-5-05,0
З973.2-018.19Паскаль,0
ЯзыкРусский
Места храненияOD Дк 82-1/748