Алагич, Арбиб Проект структурированных программ

Проектирование корректных структурированных программ . Книга посвящена основам структурного программирования и методам доказательства корректности программ. Обобщены результаты исследований, на которых базируется современная методология проектирования программ сверху вниз. Изложение ориентировано на язык Паскаль. Даны рекомендации и примеры проектирования программ. Для широкого круга читателей: от начинающих программистов до специалистов в области кибернетики и вычислительной техники, для студентов и аспирантов при изучении методологии программирования. Год выпуска 1984 Автор на обложке С. Алагич, М. Арбиб Количество страниц 264 Формат издания 60x90/16 Подробнее