1.
| З815 П80
Прокопенко, Светлана Анатольевна. Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук: Специальность 05.13.01 / С. А. Прокопенко ; Томский государственный университет. - Томск, 2000. - 22с. : ил. - ББК З815 Рубрики: Кибернетика Кл.слова (ненормированные): авторефераты З815 -- автоматы теория -- конечные автоматы -- проверяющие тесты
Держатели документа: ЯрГУ Доп.точки доступа: Томский государственный университет
ЯрГУ/ЧЗ/НБ Свободных экз. нет Найти похожие
|