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). — Режим доступа: для авторизир. пользователей

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

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

Липски С.А.

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

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

Цветова Г.В.

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

Организация туристской деятельности

Веселова Н.Ю.

(Дашков и К, Ай Пи Эр Медиа)

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

Липски С.А.

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

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

Липски С.А.

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

Практические основы статистики и эконометрического моделирования

Сальникова К.В.

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

Резание металлов в автоматизированном производстве

Маслов А.Р.

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

Социально-правовые и законодательные основы социальной работы с инвалидами

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

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

Деньги, кредит, банки

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

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

Казахский язык: начальный курс

Куталмыш С.Л.

(КАРО)

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

Мурюкина Е.В.

(Московский педагогический государственный университет)

Оказание первой помощи при травмах и неотложных состояниях: теоретические основы

Романюк О.Н., Святова Н.В.

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

Экономика и управление: инновации, учет, человеческий капитал

Гнездова Ю.В., Матвеева Е.Е., Жукова О.В., Калинина Г.В., Лучкова И.В., Курочкина Е.Н., Поискова Т.Р.

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

Налоги и налогообложение

Михайлюк О.Н., Беликова О.А.

(Профобразование, Ай Пи Ар Медиа)

Оперативные пособия в акушерстве

Гогель Л.Ю., Тезиков Ю.В., Липатов И.С., Загребельная Н.В.

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

Методология изобретательства

Шаньгин И.С.

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

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