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

Чтение online

Недоступно

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

Верификация программного обеспечения. Учебное пособие для СПО

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

Профобразование

Авторы:

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

Год издания:

2025

ISBN:

978-5-4488-0357-4

Тип издания:

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

DOI:

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

Данное издание доступно Вам взамен изданию «Верификация программного обеспечения» издательства «Профобразование».

Замена издания связана с окончанием срока лицензии и невозможностью продления прав, а также с появлением в базе более актуального издания по данной тематике.

Об издании

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

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

Синицын С.В. Верификация программного обеспечения : учебное пособие для СПО / Синицын С.В., Налютин Н.Ю.. — Саратов : Профобразование, 2025. — 367 c. — ISBN 978-5-4488-0357-4. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/153347.html (дата обращения: 29.12.2025). — Режим доступа: для авторизир. пользователей

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

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

Липски С.А.

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

Деятельность службы безопасности гостиницы

Макринова Е.И., Васютина Т.Л., Переверзева Е.С., Золотарева Е.О.

(Интермедия)

Математико-статистические методы и инструменты в эмпирических социально-экономических исследованиях

Дубина И.Н.

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

Медицина чрезвычайных ситуаций

Морозов Ю.М., Халилов М.А., Бочкарев А.Б.

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

Первоначальная подготовка к международным полетам

Старчиков С.А.

(Профобразование)

Правовое обеспечение землеустройства и кадастров

Липски С.А.

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

Правовое регулирование проведения государственной кадастровой оценки

Липски С.А.

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

Реконструкция и усиление железнодорожной инфраструктуры. Капитальный ремонт железнодорожного пути

Карпущенко Н.И., Величко Д.В., Пикалов А.С., Лукьянович Т.В.

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

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

Программирование микроконтроллеров Arduino

Бужинская Н.В., Гребнева Д.М., Кокшарова Е.А., Мащенко М.В.

(Профобразование)

Финансы

Дмитриева И.Е., Ярошенко Е.А.

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

Разработка мобильного приложения «Мои расходы» с использованием программы Glide

Константинова Е.А., Шевелева Г.А.

(Морской государственный университет имени адмирала Г.И. Невельского)

Физические основы электроники

Свистова Т.В.

(Воронежский государственный технический университет, ЭБС АСВ)

Математическое моделирование

Бычкова Т.В.

(Брянский государственный аграрный университет)

Физическая культура, спорт и основы военной подготовки студентов

Коновалова М.П., Кузнецова С.В., Черевишник Н.Н., Ерохина Н.А., Кузьмин Д.В., Гасилина Е.В., Шаркова Ю.В., Новиков И.Н., Ярцев Д.В., Мараков В.В., Юрченко А.И....

(Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ)