Подробное описание документа

Синицын С. В., Налютин Н. Ю.
Верификация программного обеспечения : учеб. пособие / Синицын С. В., Налютин Н. Ю. - М. : БИНОМ. Лаборатория знаний : Интернет- Университет Информационных Технологий, 2014. - 367 с. - (Основы информационных технологий). - ISBN 978-5-94774-825-3.

Аннотация

Курс знакомит слушателей с современными технологиями верификации программноro обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.
Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программноro обеспечения.

УДК
004.05 Качество систем и программ

Предметные рубрики

Программирование для ЭВМ

Общее кол-во в фондах
3 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313