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

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

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

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

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