Ульянцев Владимир Игоревич. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений Диссертация

Назва:
Ульянцев Владимир Игоревич. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений

ВНЗ:
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследователь

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

Ульянцев Владимир Игоревич. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений