Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Ч. 3

Bibliographic Details
Main Author:	Евтушенко, Нина Владимировна
Other Authors:	Громов, Максим Леонидович, Шабалдина, Наталия Владимировна
Format:	Book
Language:	Russian
Published:	Томск Том. гос. ун-т 2013
Subjects:	учебные пособия для вузов теория автоматов недетерминированные автоматы, анализ конечные автоматы тесты проверяющие, синтез недереминированные автоматы, синтез "черный ящик", модель отношения эквивалентности отношения редукции редукции автомата тестирование автоматов автоматные уравнения учебные издания
Online Access:	Перейти в каталог НБ ТГУ

Similar Items