Содержит систематическое введение в программирование. Главная цель—научить методам разработки программ. Сановные компоненты систематического подхода—математическое исследование задачи, пошаговая детализация и обоснование правильности программ, анализ алгоритмов....