Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
Material type: TextPublication details: Томск [б. и.] 2009Description: 18 с. илSubject(s): Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)Genre/Form: авторефераты диссертаций Online resources: Click here to access online Предоставл. автором. Проверка на идентичность электронного и печатного изданий не проводиласьItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-950926к (Browse shelf(Opens below)) | Available | 13820000703268 | ||
1 месяц | Научная библиотека ТГУ Книгохранилище | 1-950927 (Browse shelf(Opens below)) | Available | 13820000703267 |
Библиогр.: с. 18
Предоставл. автором. Проверка на идентичность электронного и печатного изданий не проводилась
Системные требования: Adobe Acrobat Reader 5.0 или выше.
There are no comments on this title.