TY  - BOOK
AU  - Коломеец,Антон Владимирович
ED  - Томский государственный университет
TI  - Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов: автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
PY  - 2010///
CY  - Томск
PB  - [б. и.]
KW  - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
KW  - nsnr
KW  - авторефераты диссертаций
N1  - Библиогр.: с. 17-18; Предоставл. автором. Проверка  на идентичность электронного и печатного изданий не проводилась
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000391905
ER  -