Полное описание
> Лукин, М. А. Верификация автоматных программ : автореф. дис. ... канд. техн. наук: 05.13.11 / М. А. Лукин. - 2014. - 16 с. : ил. - Библиогр.: с. 15-16 (11 назв.). - 100 экз. - Текст : непосредственный.
ГРНТИ | УДК | |
50.05.13 | 004.415.5(043) |
Кл.слова (ненормированные): SPIN-МОДЕЛЬ -- МОДЕЛИ УПРАВЛЯЮЩИХ АВТОМАТОВ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар14-15489)>
Шифр в сводном ЭК: cc41576d31d7e41b8198575d399e569e
Заказ фрагмента документа ₽