Верификация программного обеспечения (2017) » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms Coding Examples from Simple to Complex: Applications in MATLAB Coding Examples from Simple to Complex: Applications in MATLAB История Англии (2008) История Англии (2008) Комплект из 70 писем для продажи инфопродуктов Комплект из 70 писем для продажи инфопродуктов The Book of Pintxos: Discover the Legendary Small Bites of Basque Country The Book of Pintxos: Discover the Legendary Small Bites of Basque Country Сам себе тестировщик. Пошаговое руководство по тестированию ПО Сам себе тестировщик. Пошаговое руководство по тестированию ПО RuneScape: The Official Cookbook (Gaming) RuneScape: The Official Cookbook (Gaming) Entrepreneurship: Theory, Process, Practice, 12th Edition Entrepreneurship: Theory, Process, Practice, 12th Edition Акупрессура. Лечение 250 болезней при помощи точечного массажа Акупрессура. Лечение 250 болезней при помощи точечного массажа AI Care City and Design AI Care City and Design Лечение заикания Лечение заикания Killing Shore: The True Story of Hitler's U-boats Off the New Jersey Coast Killing Shore: The True Story of Hitler's U-boats Off the New Jersey Coast Дневник американского солдата Дневник американского солдата Вовремя и в рамках бюджета: управление проектами по методу критической цепи (2019) Вовремя и в рамках бюджета: управление проектами по методу критической цепи (2019) Волновой принцип Эллиотта: Ключ к пониманию рынка (2019) Волновой принцип Эллиотта: Ключ к пониманию рынка (2019) Занимательная информатика (2017) Занимательная информатика (2017)
New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms Coding Examples from Simple to Complex: Applications in MATLAB Coding Examples from Simple to Complex: Applications in MATLAB История Англии (2008) История Англии (2008) Комплект из 70 писем для продажи инфопродуктов Комплект из 70 писем для продажи инфопродуктов The Book of Pintxos: Discover the Legendary Small Bites of Basque Country The Book of Pintxos: Discover the Legendary Small Bites of Basque Country Сам себе тестировщик. Пошаговое руководство по тестированию ПО Сам себе тестировщик. Пошаговое руководство по тестированию ПО RuneScape: The Official Cookbook (Gaming) RuneScape: The Official Cookbook (Gaming) Entrepreneurship: Theory, Process, Practice, 12th Edition Entrepreneurship: Theory, Process, Practice, 12th Edition Акупрессура. Лечение 250 болезней при помощи точечного массажа Акупрессура. Лечение 250 болезней при помощи точечного массажа AI Care City and Design AI Care City and Design Лечение заикания Лечение заикания Killing Shore: The True Story of Hitler's U-boats Off the New Jersey Coast Killing Shore: The True Story of Hitler's U-boats Off the New Jersey Coast Дневник американского солдата Дневник американского солдата Вовремя и в рамках бюджета: управление проектами по методу критической цепи (2019) Вовремя и в рамках бюджета: управление проектами по методу критической цепи (2019) Волновой принцип Эллиотта: Ключ к пониманию рынка (2019) Волновой принцип Эллиотта: Ключ к пониманию рынка (2019) Занимательная информатика (2017) Занимательная информатика (2017)
Категория: КНИГИ » ПРОГРАММИРОВАНИЕ
Верификация программного обеспечения (2017)
Добавил: SCART56 / 21-05-2018, 15:08 /

Название: Верификация программного обеспечения
Автор: Синицын С.В., Налютин Н.Ю.
Издательство: М.: Интуит; Саратов: Вузовское образование
Год: 2017
Страниц: 368
ISBN: 978-5-4487-0074-3
Формат: PDF
Размер: 33 Мб
Язык: русский

Учебный курс «Верификация программного обеспечения» разработан преподавателями кафедры «Кибернетика» МИФИ в тесном сотрудничестве с предприятием авиационной отрасли ДС БАРС (Бортовые Алгоритмы и Разработка Систем) и московским представительством корпорации Microsoft.
Курс знакомит с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения.
По завершении курса студент овладевает всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.

Скачать Синицын С.В., Налютин Н.Ю. - Верификация программного обеспечения (2017)




[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!