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