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

 

004.4
Н 53Непомнящий, В. А.
    Прикладные методы верификации программ [Текст] / под ред. А. П. Ершова. — М. : Радио и связь, 1988. — 255 с.
ISBN 5-256-00156-6


- Ключові слова:

верифікація програм, верификация программ ; електронно-обчислювальні машини, ЕОМ, электронно-вычислительные машины, ЭВМ ; програмування, программирование, programming, Programmieren, programmation ; тестування програм, тестирование программ

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

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



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