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