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