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

Синицын С. В., Налютин Н. Ю.
Верификация программного обеспечения : учебное пособие / Синицын С. В., Налютин Н. Ю. - Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. -
Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.