Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

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

- Теми документа

  • УДК // Виявлення, зазначення (індикація) помилок. Оцінка даних. Підтвердження достовірності даних. Перевірка даних
  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 2 Перейти на сайт