цифровой образовательной среды СПО
Верификация программного обеспечения
| Подзаголовок: | Учебное пособие для СПО |
| Издательство: | Профобразование |
| Авторы: | Синицын С.В., Налютин Н.Ю. |
| Год издания: | 2019 |
| ISBN: | 978-5-4488-0357-4 |
| Тип издания: | Профобразование |
| Гриф: | гриф УМО |
Библиографическая запись
Синицын, С. В. Верификация программного обеспечения : учебное пособие для СПО / С. В. Синицын, Н. Ю. Налютин. — Саратов : Профобразование, 2019. — 368 c. — ISBN 978-5-4488-0357-4. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/86194 (дата обращения: 31.08.2020). — Режим доступа: для авторизир. пользователей
Об издании
В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.