Книга: С. Алагич, М. Арбиб «Проектирование корректных структурированных программ»

Книга посвящена основам структурного программирования и методам доказательства корректности программ. Обобщены результаты исследований, на которых базируется современная методология проектирования программ сверху вниз. Изложение ориентировано на язык Паскаль. Даны рекомендации и примеры проектирования программ. Для широкого круга читателей: от начинающих программистов до специалистов в области кибернетики и вычислительной техники, для студентов и аспирантов при изучении методологии программирования.

Издательство: "Радио и связь" (1984)

Формат: 60x90/16, 264 стр.

Купить за 140 руб на Озоне