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

Чтение online

Недоступно

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

Поделиться:

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

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

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

Авторы:

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

Год издания:

2019

ISBN:

978-5-4488-0357-4

Тип издания:

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

DOI:

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

Об издании

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

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

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

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

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

Липски С.А.

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

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

Цветова Г.В.

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

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

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

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

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

Мошков М.Е.

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

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

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

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

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

Айвенс К.

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

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

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

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

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

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

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

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

Экономическая безопасность

Беловицкий К.Б., Николаев В.Г.

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

Экономическая безопасность (сущность, виды, современные тренды)

Редькина Т.М., Шашина И.А., Гурьянов А.В.

(Международный банковский институт имени Анатолия Собчака)

Экономическая безопасность в системе приоритетов национальной безопасности. В 2 частях. Ч.1

Василенко Н.В.

(Международный банковский институт имени Анатолия Собчака)

Экономическая безопасность в системе приоритетов национальной безопасности. В 2 частях. Ч.2

Василенко Н.В.

(Международный банковский институт имени Анатолия Собчака)

Экономическая безопасность. Альбом схем

Беловицкий К.Б.

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

Экономическая безопасность: основные понятия и термины

Николаев В.Г., Спановский В.А.

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

Архитектурно-дизайнерское материаловедение. В 3 частях. Ч. 1. Свойства материалов. Материалы на основе древесины. Природные каменные материалы. Материалы на основе металлов

Капустинская И.Ю., Михальченко М.С.

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

Архитектурно-дизайнерское материаловедение. В 3 частях. Ч. 2. Строительные материалы. Керамические материалы. Материалы на основе стеклянных расплавов. Минеральные вяжущие и материалы на основе полимеров

Капустинская И.Ю.

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

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