Ebook: Дисциплина программирования

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