|
|
РА369498
Петрик, Валерія Леонідівна.
Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Петрик Валерія Леонідівна ; Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". - Х., 2009. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
Видання зберігається у :
Основний фонд
|
|