В. Н. Брагилевский

Жан-Жак Леви, Жиль Довек – Введение в теорию языков программирования

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет [...]

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

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

Саймон Марлоу – Параллельное и конкурентное программирование на языке Haskell

Если вы уже владеете программированием на языке Haskell, эта книга научит вас использованию множества интерфейсов и библиотек, предназначенных для написания параллельных и конкурентных [...]