TY  - BOOK
AU  - Евтушенко,Нина Владимировна
AU  - Громов,Максим Леонидович
AU  - Шабалдина,Наталия Владимировна
TI  - Недетерминированные автоматы: анализ и синтез: учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ]
PY  - 2013///
CY  - Томск
PB  - Том. гос. ун-т
KW  - учебные пособия для вузов
KW  - теория автоматов
KW  - недетерминированные автоматы, анализ
KW  - конечные автоматы
KW  - тесты проверяющие, синтез
KW  - недереминированные автоматы, синтез
KW  - "черный ящик", модель
KW  - отношения эквивалентности
KW  - отношения редукции
KW  - редукции автомата
KW  - тестирование автоматов
KW  - автоматные уравнения
KW  - учебные издания
N1  - На обл. авт. не указаны; Библиогр.: с. 57
ER  -