Минимизация проверяющих тестов для систем логигического управления методами теории конечных автоматов : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.01

Заглавие:Минимизация проверяющих тестов для систем логигического управления методами теории конечных автоматов : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.01

Физическое описание:22 с.

Библиотечный фонд:Российская Национальная Библиотека

Полное библиографическое описание

Доступные права:

Просмотр:

• 100% от первой страницы документа

Печать:

• Произвольный отрывок, составляющий 25% документа