Верификация программного обеспечения

Синицын С.В., Налютин Н.Ю.

Характеристики

ПодзаголовокУчебное пособие для СПО

ИздательствоПрофобразование

Год издания2025

ISBN 978-5-4488-0357-4

Тип изданияучебное пособие

Библиографическая запись

Синицын, С. В. Верификация программного обеспечения : учебное пособие для СПО / С. В. Синицын, Н. Ю. Налютин. — 2-е изд. — Саратов : Профобразование, 2025. — 367 c. — ISBN 978-5-4488-0357-4. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/153347 (дата обращения: 13.09.2026). — Режим доступа: для авторизир. пользователей

Скачать библиографическую запись

Об издании

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

Данное издание доступно Вам взамен издания «Синицын, С. В. Верификация программного обеспечения : учебное пособие для СПО / С. В. Синицын, Н. Ю. Налютин. — Саратов : Профобразование, 2019. — 368 c. — ISBN 978-5-4488-0357-4. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/86194 (дата обращения: 22.08.2025). — Режим доступа: для авторизир. пользователей».
Замена издания связана с появлением в ЭБС его более актуального переиздания.