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

Карточка

Ануреев, Игорь Сергеевич.
Ануреев, Игорь Сергеевич.

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

Документ охраняется авторским правом. Полный текст доступен в РГБ и виртуальных читальных залах. Читать 

Marc21

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

Показать

Описание

Автор
ЗаглавиеСистемы переписывания формул и их применение в автоматической верификации программ : диссертация ... кандидата физико-математических наук : 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
Электронный адрес Электронный ресурс