IPR SMART / Верификация программного обеспечения

Чтение online

Недоступно

Рейтинг издания

Верификация программного обеспечения. Учебное пособие

Издательство:

Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа

Авторы:

Синицын С.В., Налютин Н.Ю.

Год издания:

2020

ISBN:

978-5-4497-0653-9

Тип издания:

учебное пособие

DOI:

не присвоен узнать подробнее

Об издании

Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.

Библиографическая запись

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

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Актуальные проблемы земельного права

Липски С.А.

(Ай Пи Ар Медиа)

Бюджетный процесс и межбюджетные отношения

Цветова Г.В.

(Ай Пи Ар Медиа)

Введение в разработку приложений для ОС Android

Березовская Ю.В., Юфрякова О.А., Вологдина В.Г., Озерова О.В., Куликов Э.Е., Латухина Е.А., Пархимович М.Н.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

Введение в системное администрирование Unix

Мошков М.Е.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

Введение в цифровую фотографию

Надеждин Н.Я.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

Внедрение, управление и поддержка сетевой инфраструктуры MS Windows Server 2003

Айвенс К.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

Выявление и основы расследования административных правонарушений, отнесенных к компетенции таможенных органов

Клейменова А.Н.

(Троицкий мост)

Инструментальные средства обеспечения безопасности

Джонс К.Д., Шема М., Джонсон Б.С.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Русский язык: шаг за шагом. В 3 частях. Ч. 1

Иванова И.С., Ильина С.А.

(Ай Пи Ар Медиа)

Постреляционные базы данных. MongoDB

Маркин А.В.

(Ай Пи Ар Медиа)

Инноватика и технологический суверенитет в здравоохранении России

Алехин И.П., Белова В.В., Бобров А.В., Бойчук А.А., Борисова С.О., Бродский А.Г., Бурдина Л.Л., Вакурова Е.С., Валитова Д. А., Ворыханов А.В., Гадзиева И.В., Гвоздев А.А., Гегенава М.В., Гергиева З.А...

(Научный консультант)