Книга: Синицын Сергей Владимирович, Налютин Никита Юрьевич «Верификация программного обеспечения. Учебное пособие»

Серия: "Основы информационных технологий"

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

Издательство: "Бином. Лаборатория знаний" (2017)

ISBN: 978-5-94774-825-3