рик кацман

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