Полное описание
> Шипов, А. А. Исследование и разработка семантических методов анализа распределенных программ : автореф. дис. ... канд. техн. наук: 05.13.11 / А. А. Шипов. - 2016. - 20 с. - Библиогр.: с. 19-20 (10 назв.). - 120 экз. - Текст : непосредственный.
ГРНТИ | УДК | |
50.05.13 | 004.415.5(043) |
Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- ПРОГРАММНЫЕ СИСТЕМЫ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар16-8051)>
Шифр в сводном ЭК: 66b896f4fd5ff0f328733e519d3e12d8
Заказ фрагмента документа ₽