Система работает в тестовом режиме. Предыдущая версия поиска доступна по ссылке.

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

Карточка

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

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

Marc21

Показать

Описание

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