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