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