Жемчужины проектирования алгоритмов: функциональный подход
Автор:Ричард Берд Год: 2015 Издание:ДМК Пресс Страниц: [не указано] ISBN: 9785940748670, 9785970601617 В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых...