Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
скачать файл:
- Название:
- Быков Сергей Анатольевич. Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов
- ВУЗ:
- ФГБОУ ВО Московский технологический университет
- Краткое описание:
- Быков Сергей Анатольевич. Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов: диссертация ... кандидата Технических наук: 05.13.11 / Быков Сергей Анатольевич;[Место защиты: ФГБОУ ВО Московский технологический университет], 2017
- Стоимость доставки:
- 230.00 руб