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