Опис документа

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

Опис документа

Програмирование [Текст]. — 2003. — №6.

Алгебраическая семантика императивного языка прграммирования [Текст] / А.В. Замулин // Програмирование. — 2003. — №6. — с.51-64.
Верификация, валидация и тестирование программного обеспечения. Тематический выпуск журнала " Программирование" [Текст] / А.К. Петренко // Програмирование. — 2003. — №6. — с.4-7.
Метод автоматической валидации UML-спецификаций на основе языка OCL [Текст] / Л.Б. Ольхович // Програмирование. — 2003. — №6. — с.44-50.
Методология верификации и тестирования крупномасштабных программных средств [Текст] / В.В. Липаев // Програмирование. — 2003. — №6. — с.7-24.

Наявність

Установа Кількість Документ на сайті установи

Науково-технічна бібліотека Харківського національного економічного університету імені Семена Кузнеця Перейти на сайт