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

Кубасов, С. В. Верификация автоматных программ в контексте синхронного программирования : автореф. дис. ... канд. техн. наук: 05.13.11 / С. В. Кубасов. - 2008. - 19 с : ил. - Библиогр.: с. 18-19(7 назв.). - Текст : непосредственный.

ГРНТИ	УДК
50.05.13	004.415.5(043)

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

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

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