Берд Ричард: Жемчужины проектирования алгоритмов: функциональный подход
Скачать книгу (размер 1 676 Kb , формат fb2, страниц 330) Аннотация: В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и…