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