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