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