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

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

Борзов, Ю. В.
    Тестирование программ с использованием символического выполнения [Текст] / Ю.В. Борзов // Программирование. — 1980. — С. 51-59.

- Анотація:

Рассматривается тестирование программ, основанное на их символическом выпоплнении. Дается обзор днйствующих автоматических систем тестирования программ. Обсуждаются проблемы их разработки.

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

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

  • УДК // Програмне забезпечення



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