Книга написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, «Структурное программирование», Мир, 1972). Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть до создания программ. Материал излагается в форме остроумных и поучительных задач по программированию.

Книга представляет значительный интерес для широкого круга программистов.

Книги на ту же тему

1. Этюды для программистов, Уэзерелл Ч., 1982
2. Жемчужины программирования. 2-е издание, Бентли Д., 2002
3. Введение в теоретическое программирование (беседы о методе), Ершов А. П., 1977