Издательство: Бином. Лаборатория знаний, 2017
Переплёт: Твердый переплет, 368 страниц
Серия: Основы информационных технологий
Категория: Автоматика. Вычислительная техника
ISBN: 978-5-94774-825-3
Формат: 222x153x20 мм, 476 г
📕 Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.
Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.