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

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

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

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар10-20805)

Шифр в сводном ЭК: b7f8b2875412a38fd7a3d637b5593d80

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