Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/

Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/

Bibliographic Details
Main Author: Жигулин, М. В. Максим Владимирович (Author)
Corporate Author: Национальный исследовательский Томский государственный университет(Томск) Кафедра информационных технологий в исследовании дискретных структур
Other Authors: Евтушенко, Н. В. Нина Владимировна
Format: Book
Language:Russian
Published: Томск: Позитив-НБ 2012
Subjects:
ДИСКРЕТНАЯ МАТЕМАТИКА
ТЕОРИЯ АВТОМАТОВ
ФОРМАЛЬНАЯ ЛОГИКА
КОМПЬЮТЕРНЫЕ ЭКСПЕРИМЕНТЫ
АВТОРЕФЕРАТЫ
Online Access:https://viewer.rsl.ru/ru/rsl01005017056?page=1&rotate=0&theme=white
Перейти в каталог Библиотеки ТУСУР

Internet

https://viewer.rsl.ru/ru/rsl01005017056?page=1&rotate=0&theme=white
Перейти в каталог Библиотеки ТУСУР

Similar Items