Жемчужины проектирования алгоритмов: функциональный подход

Bibliographic Details
Main Author: Бёрд Р.
Summary:В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается кон- кретная программистская задача. Эти задачи, некоторые из них абсолютноновые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк.
Книга из коллекции ДМК Пресс - Информатика
Published: Москва, ДМК Пресс, 2013
Subjects:
Online Access:http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=9131
https://e.lanbook.com/img/cover/book/9131.jpg
Format: Electronic Book