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