Пошук :
Довідка :
Електронний каталог : Петрик Валерія Леонідівна - Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на о...
Петрик Валерія Леонідівна - Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на о...
Автореферат/Дисертація
Автор: Петрик Валерія Леонідівна
Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на о... : автореф. дис. ... канд. техн. наук
Видавництво: [б.в.], 2009 г.
ISBN відсутній
Автор: Петрик Валерія Леонідівна
Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на о... : автореф. дис. ... канд. техн. наук
Видавництво: [б.в.], 2009 г.
ISBN відсутній
(UA) Автореферат
A 161210
Главный филиал
Петрик, Валерія Леонідівна.
Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі : автореф. дис ... канд. техн. наук : 05.13.06 / Валерія Леонідівна Петрик; В.о. Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харківський авіаційний інститут".– Харків : [б.в.], 2009.– 18 с.
100 пр. – На укр. яз.
-- 1. Технічні науки – Інформатика, обчислювальна техніка та автоматизація – Інформаційні технології.
A 161210
Главный филиал
Петрик, Валерія Леонідівна.
Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі : автореф. дис ... канд. техн. наук : 05.13.06 / Валерія Леонідівна Петрик; В.о. Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харківський авіаційний інститут".– Харків : [б.в.], 2009.– 18 с.
100 пр. – На укр. яз.
-- 1. Технічні науки – Інформатика, обчислювальна техніка та автоматизація – Інформаційні технології.