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