Ваша оценкаВ этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и соп...
Жанры
Издательство:
ISBN:
978-5-94074-867-0, 978-0-521-51338-8
Год издания:
2013
Язык:
Русский
Мягкая обложка, 330 стр.
Тираж: 200 экз.
Формат: 60x90/16 (145х217 мм)
Возрастные ограничения:
18+
Рейтинг LiveLib
0
0 оценок
Ваша оценкаХотят прочитать 9
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
