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

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

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
Шифр хранения:
OD 61 99-1/371-X

Marc21

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

Показать

Описание

Автор
ЗаглавиеСистемы переписывания формул и их применение в автоматической верификации программ : диссертация ... кандидата физико-математических наук : 05.13.11
Коллекции ЕЭК РГБ Каталог диссертаций
Коллекции ЭБ Диссертации
Дата поступления в ЕЭК 18.08.1999
Дата поступления в ЭБ 04.03.2003
Каталоги Диссертации
Выходные данныеНовосибирск, 1998
Физическое описание135 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
BBK-кодЗ973.2-018-5-05,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияOD 61 99-1/371-X
Электронный адрес Электронный ресурс