Верификация программного обеспечения : учебное пособие
Библиографическое описание книги
Автор, составитель, редактор: Синицын С. В. / Налютин Н. Ю.
Тематика: информационные технологии
Книжная серия: Основы информационных технологий
Тип издания: печатное издание
Первый год издания: 2008
Формат: 60x90/16 (в пер.)
Страниц: 368
ISBN: 978-5-94774-825-3
УДК: 004.052.42
ББК: 32.973.26
Вид издания: учебное издание
Тематика: информационные технологии
Книжная серия: Основы информационных технологий
Тип издания: печатное издание
Первый год издания: 2008
Формат: 60x90/16 (в пер.)
Страниц: 368
ISBN: 978-5-94774-825-3
УДК: 004.052.42
ББК: 32.973.26
Вид издания: учебное издание
Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.
Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
1 - Навигация в электронном издании работает частично в зависимости от размера фрагмента.
Назад в раздел
2024 © Издательство «Лаборатория знаний» 