Программирование. Функциональный подход — Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека.

Функциональный анализ — Учебник по функциональному анализу, написанный на высоком научном уровне. Отличается последовательностью и системностью изложения, широтой охвата предмета. Рекомендован аспирантам и студентам старших курсов физико-математических специальностей, а также всем желающим усовершенствовать свои знания по функциональному анализу.

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