| Аннотація | Книга написана одним из крупнейших зарубежных специалистов в области программирования. Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ.
В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть до создания программ. Материал излагается в форме остроумных и поучительных задач по программированию. Книга представляет значительный интерес для широкого круга программистов.
|