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

Ульянцев, В. И. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореф. дис. ... канд. техн. наук: 05.13.11 / В. И. Ульянцев. - 2015. - 15 с. : ил. - Библиогр.: с. 14-15 (14 назв.). - 100 экз. - Текст : непосредственный.

ГРНТИ	УДК
28.25.15	519.713.1(043)

Кл.слова (ненормированные): ГЕНЕРАЦИЯ -- КОНЕЧНЫЕ АВТОМАТЫ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар15-13056)

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

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