Зведений каталог бібліотек Миколаєва

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

51.681.3
Максимец, А. Н.
    Верификация программ: состояние, проблемы, экспериментальные результаты [Текст] / А.Н. Максимец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 53-63.

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

програмне забезпечення, программное обеспечение

- Анотація:

Представлен углубленный обзор проблем верификации программного обеспечения.

- Є складовою частиною документів:

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

  • УДК // Математика



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Миколаївського національного університету імені В. О. Сухомлинського