Книга написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, "Структурное программирование", "Мир", 1972). Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть до создания программ. Материал излагается в форме остроумных и поучительных задач по программированию.
Книга представляет значительный интерес для широкого круга программистов.
Изд-во RUGRAM. 2013 г.
274 стр. мягкая обложка ISBN: 978-5-458-33419-8
Извините, этого товара сейчас нет в наличии. Вы можете оставить
заявку на интересующий Вас товар
