Ануреев, Игорь Сергеевич. - Системы переписывания формул и их применение в автоматической верификации программ : диссертация ... кандидата физико-математических наук : 05.13.11. - Новосибирск, 1998. - 135 с.
Карточка
Экспресс-заказ фрагмента
Ануреев, Игорь Сергеевич.
Системы переписывания формул и их применение в автоматической верификации программ : диссертация ... кандидата физико-математических наук : 05.13.11. - Новосибирск, 1998. - 135 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
Шифр хранения:
Системы переписывания формул и их применение в автоматической верификации программ : диссертация ... кандидата физико-математических наук : 05.13.11. - Новосибирск, 1998. - 135 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
Шифр хранения:
OD 61 99-1/371
Описание
Автор | Ануреев, Игорь Сергеевич |
---|---|
Заглавие | Системы переписывания формул и их применение в автоматической верификации программ : диссертация ... кандидата физико-математических наук : 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 |
Электронный адрес | Электронный ресурс |