Евтушенко, Елена Афанасьевна - Проверка семантической правильности для класса структурированных программ методом построения их программных функций : автореферат дис. ... кандидата физико-математических наук : 05.13.11

Экспресс-заказ фрагмента
Евтушенко, Елена Афанасьевна.
Проверка семантической правильности для класса структурированных программ методом построения их программных функций : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Ин-т кибернетики им. В. М. Глушкова. - Киев, 1991. - 16 с.

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
FB 9 91-8/3891-5

Marc21

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

Показать

Описание

Автор
ЗаглавиеПроверка семантической правильности для класса структурированных программ методом построения их программных функций : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Дата поступления в ЕЭК 24.02.1998
Каталоги Авторефераты диссертаций
Сведения об ответственностиИн-т кибернетики им. В. М. Глушкова
Выходные данныеКиев, 1991
Физическое описание16 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодЗ973.2-018-5-05,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияFB 9 91-8/3891-5