Чтение online
Чтение недоступно

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

Издательство:
Профобразование
Авторы:
Синицын С.В., Налютин Н.Ю.
Год издания:
2019
ISBN:
978-5-4488-0357-4
Тип издания:
учебное пособие
DOI:

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

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

Рекомендуем

Государственный контракт на закупку товаров, работ, услуг для обеспечения государственных нужд: проблемы теории и практики
Инструментальные средства обеспечения безопасности
Инструментальные средства обеспечения безопасности

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

Автор: Джонс К.Д., Шема М., Джонсон Б.С.

Год издания: 2021

ISBN: 978-5-4497-0871-7


Методы и средства аппаратного обеспечения высокопроизводительных микропроцессорных систем
Методы и средства аппаратного обеспечения высокопроизводительных микропроцессорных систем

Издательство: Техносфера

Автор: Бобков С.Г., Басаев А.С.

Год издания: 2021

ISBN: 978-5-94836-610-4

Основы кибербезопасности. Стандарты, концепции, методы и средства обеспечения
Основы кибербезопасности. Стандарты, концепции, методы и средства обеспечения

Издательство: Техносфера

Автор: Белоус А.И., Солодуха В.А.

Год издания: 2021

ISBN: 978-5-94836-612-8


Основы разработки программного обеспечения на примере языка С
Основы разработки программного обеспечения на примере языка С

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

Автор: Синицын С.В., Хлытчиев О.И.

Год издания: 2021

ISBN: 978-5-4497-0916-5

Особенности правового регулирования труда и социального обеспечения инвалидов
Особенности правового регулирования труда и социального обеспечения инвалидов

Издательство: Ай Пи Ар Медиа

Автор:

Год издания: 2021

ISBN: 978-5-4497-0821-2


С этой книгой также читают

А.С. Грин. Взгляд из XXI века. К 130-летию Александра Грина. Выпуск 2
А.С. Грин. Взгляд из XXI века. К 130-летию Александра Грина. Выпуск 2

Издательство: Вятский государственный гуманитарный университет

Автор: Галицких Е.О., Карпов И.П., Григорьева Л.П., Загвоздкина Т.Е., Поздеев В.А., Дунаевская И.К., Мельникова Л.А.

Год издания: 2011

ISBN: 978-5-93825-950-8

Константин Батюшков
Константин Батюшков

Издательство: Московский государственный университет имени М.В. Ломоносова

Автор: Зуев Н.Н.

Год издания: 2000

ISBN: 5-211-04278-6


«Маленькие трагедии» Пушкина
«Маленькие трагедии» Пушкина

Издательство: Петрополис

Автор: Кашурников Н.А.

Год издания: 2012

ISBN: 978-5-9676-0402-7