Электронный каталог НБ БНТУ

rus

Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога
ФИЛИАЛЫ
КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

Личный кабинет :

Электронный каталог: Кулямин, В.В. - Интеграция методов верификации программных систем

Кулямин, В.В. - Интеграция методов верификации программных систем

Интеграция методов верификации программных систем

Статья
Автор: Кулямин, В.В.
Программирование: Интеграция методов верификации программных систем
б.г.
ISBN отсутствует

На полку

Статья

Кулямин, В.В.
Интеграция методов верификации программных систем / В.В. Кулямин // Программирование / гл. ред. В.П. Иванников; учредитель Российская академия наук. – 2009. – N4. – С.41-55.

общий = БД Техника
общий = ВЕРИФИКАЦИЯ
общий = ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
общий = ТЕСТИРОВАНИЕ (вычисл. техника)