Верификация программного обеспечения. Учебное пособие для СПО
Об издании
В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по укрупненной группе специальностей среднего профессионального образования «Информатика и вычислительная техника».
Библиографическая запись
Синицын С.В. Верификация программного обеспечения : учебное пособие для СПО / Синицын С.В., Налютин Н.Ю.. — 2-е изд. — Саратов : Профобразование, 2025. — 367 c. — ISBN 978-5-4488-0357-4. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/153347.html (дата обращения: 14.04.2026). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Попов Е.Б.
(Ай Пи Ар Медиа)
Хрусталёв В.А., Юрин В.Е.
(Ай Пи Ар Медиа)
Аминов Р.З., Егоров А.Н., Юрин В.Е.
(Ай Пи Ар Медиа)
Есипова С.А., Зелинская А.Б., Плучевская Э.В., Хромцова Л.С.
(Профобразование, Ай Пи Ар Медиа)
Макринова Е.И., Васютина Т.Л., Переверзева Е.С., Золотарева Е.О.
(Интермедия)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Горденко Д.В., Никулин В.И., Резеньков Д.Н.
(Профобразование, Ай Пи Ар Медиа)
Горлов Н.И., Карлин В.Э.
(Профобразование)
Извозчикова В.В.
(Оренбургский государственный университет, ЭБС АСВ)
