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