Полное описание

Ар10-20805
Коломеец, А. В. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : автореф. дис. ... канд. техн. наук : 05.13.01 / А. В. Коломеец. - Томск : [б. и.], 2010. - 18 с. - Библиогр.: с. 17-18 (12 назв.). - Текст : непосредственный.

ГРНТИ	УДК
28.19	519.718.7(043)

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

Заказать издание
Заказ фрагмента документа ₽