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

Ануреев, Игорь Сергеевич.
Экспресс-заказ фрагмента
Ануреев, Игорь Сергеевич.
Системы переписывания формул и их применение в автоматической верификации программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11. - Новосибирск, 1998. - 19 с. : ил.

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей

Marc21

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

Показать

Описание

Автор
ЗаглавиеСистемы переписывания формул и их применение в автоматической верификации программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Коллекции ЭБ Авторефераты
Дата поступления в ЕЭК 10.04.2008
Дата поступления в ЭБ 27.02.2008
Каталоги Авторефераты диссертаций
Выходные данныеНовосибирск, 1998
Физическое описание19 с. : ил
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Электронный адрес Электронный ресурс