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