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