Книга написана выдающимся нидерландским учёным, одним из первых программистов мира. Одна из классических фундаментальных книг в области программирования, посвящена написанию корректных и красивых программ для ЭВМ. Рассматривается метод формального вывода программы из математической постановки задачи, методом последовательного развития алгоритм, вплоть до создания программы. Изложение построено в виде ряда остроумных задач по программированию. Книга будет интересна широкому кругу программистов.
4,854 просмотров всего, 2 просмотров сегодня