Normal view
MARC view
Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Тренькаев Вадим Николаевич ; Том. гос. ун-т ; науч. рук. Н. В. Евтушенко
Material type: TextPublication details: Томск 2000Description: 182 л. графSubject(s): диссертации | теория автоматов | детерминированные автоматы | недетерминированные автоматы | тесты | синтезItem type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-838305к (Browse shelf(Opens below)) | 1 | Available | 13820000197615 |
Библиогр.: л. 177-182
There are no comments on this title.
Log in to your account to post a comment.