Бакулин, Александр Владимирович - Развитие метода и инструментария многоуровневого доказательного проектирования программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11

Бакулин, Александр Владимирович.
Экспресс-заказ фрагмента
Бакулин, Александр Владимирович.
Развитие метода и инструментария многоуровневого доказательного проектирования программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / АН Украины. Ин-т кибернетики им. В. М. Глушкова. - Киев, 1992. - 18 с.

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

Marc21

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

Показать

Описание

Автор
ЗаглавиеРазвитие метода и инструментария многоуровневого доказательного проектирования программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Коллекции ЭБ Авторефераты
Дата поступления в ЕЭК 01.03.1993
Дата поступления в ЭБ 01.04.2008
Каталоги Авторефераты диссертаций
Сведения об ответственностиАН Украины. Ин-т кибернетики им. В. М. Глушкова
Выходные данныеКиев, 1992
Физическое описание18 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодЗ973.2-018-5-05,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияFB 9 92-5/1046-7
FB 9 92-5/1047-5
Электронный адрес Электронный ресурс