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

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

Bibliographic Details
Main Author: Жигулин, Максим Владимирович
Corporate Author: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Format: eBook
Language:Russian
Published: Томск [б. и.] 2012
Subjects:
Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации).
авторефераты диссертаций
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000426083
Перейти в каталог НБ ТГУ

Internet

http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000426083
Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number: 1-999378к
1-999379
Available  Place a Hold
Available  Place a Hold

Similar Items