Полное описание
> Юсупов, Ю. В. Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду : автореф. дис. ... канд. техн. наук: 05.13.11 / Ю. В. Юсупов. - СПб., 2009. - 18 с. : ил. - Библиогр.: с. 17-18(9 назв.). - Текст : непосредственный.
ГРНТИ | УДК | |
50.05.13 | 004.415.28(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар09-8036)>
Шифр в сводном ЭК: 2f9e03e26b24fd438ba085858a61cb33
Заказ фрагмента документа ₽