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