- формат pdf
- размер 41,87 МБ
- добавлен
09 марта 2016 г.
2-е издание. — СПб.: Питер, 2006. — 575 с. — (Классика Computer Science). — ISBN 5-469-00494-5, 0-321-154-95-9. Основываясь на собственном, причем весьма обширном, опыте, авторы, с одной стороны, раскрывают основные технические вопросы проектирования, специфицирования и проверки правильности, а с другой - неизменно подчеркивают важность коммерческого контекста, в котором проводится проектирование крупных систем. Цель книги заключается в том, чтоб...