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