Название: Проектирование корректных структурированных программ
Автор: Алагич С., Арбиб М.
Издательство: Москва: Радио и связь
Год: 1984
Формат: pdf
Размер: 15.1 Мб
Язык: русский

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