
Ваша оценкаКурс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.
Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Жанры
ISBN:
978-5-94774-825-3
Год издания:
2008
Язык:
Русский
Твердый переплет, 368 стр.
Тираж: 2000 экз.
Формат: 60x90/16 (145х215 мм)
Возрастные ограничения:
18+
Рейтинг LiveLib
4,0
1 оценка
- 50%
- 4100%
- 30%
- 20%
- 10%
Ваша оценкаПрочитали 1Хотят прочитать 18
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.




























