РецензированоRU1984

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

Алагич С. · Арбиб М.

Учебная литература · 1984

Аннотация

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

Доказательный фрагмент

«Книга посвящена основам структурного программирования и методам доказательства корректности программ.»

Образец извлечения

Демо-превью

Книга посвящена основам структурного программирования и методам доказательства корректности программ. Полный текст публикации CiteX не хранит — доступ к первоисточнику открывается по DOI согласно лицензии издателя и выбранному плану.

DOI не указан