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