ричард берд

  1. AlexandrVlasov

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

    В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача...