Форма пошуку
Назад
укр
рус
eng
Cписок
Петрик В.Л.
Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі
Вид документа:
Автореферат
Рiк видання:
2009
Мiсце видання:
Х.
Автор:
Петрик В.Л.
Авторський знак:
П30
Вид автора:
персона
Мова:
Українська
Обсяг:
18 с.
Шифр:
004
УДК:
004.415.5+004.05](043.3)
Переглянути електронну копію
Відомості щодо назви
Додаткові відомості щодо назви
:
автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол.
Відомості про відповідальність
:
М-во освіти і науки України; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т"
Теми документа:
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.05 Якість систем і програмного забезпечення/Качество систем и программного обеспечения/System and software quality
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.4 Програмне забезпечення/Программные средства/Software/ 004.41 Техніка програмування. Програмотехніка/Программотехника. Разработка вычислительных систем/Software engineering/ 004.415 Розробка комп'ютерної системи і програмного забезпечення/Разработка компьютерной системы и программного обеспечения/Development of computer systems and software/ 004.415.5 Верифікація і оцінка програмних засобів/Верификация и оценка программных средств/Verification and evaluation software
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ П/ Петрик В.Л.
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ
Примірники
Місце збереження
Інвентарний номер
Номер
Кількість
Видано
електронна бібліотека
ek0004418
1
0
чд -чит.зал.ДСК
ar0003919
0
0
чд -чит.зал.ДСК
ar0007470
1
0