|
|
ДС125343
Петрик, Валерия Леонидовна.
Информационная технология верификации программного обеспечения информационно-управляющих систем на основе дескрипторной модели [Текст] : дис. ... канд. техн. наук : 05.13.06 / Петрик Валерия Леонидовна ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Х., 2009. - 198 л. : рис., табл. - Бібліогр.: арк. 183-198.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
|