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