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