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