- Добавил: IgorKs
- Дата: 7-11-2017, 16:32
- Комментариев: 0

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