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

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