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