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

Проектирование корректных структурированных программ

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

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

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

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

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»