Ebook: Проектирование корректных структурированных программ
Author: Суад Алагич Майкл А. Арбиб
- Genre: Компьютеры // Алгоритмы и структуры данных
- Tags: программирование алгоритмы верификация программ
- Year: 1984
- Publisher: Радио и связь
- City: Москва
- Language: Русский
- pdf
Книга посвящена основам структурного программирования и методам доказательства корректности программ. Обобщены результаты исследований, на которых базируется современная методология проектирования программ сверху вниз. Изложение ориентировано на язык Паскаль. Даны практические рекомендации и примеры проектирования программ.
Download the book Проектирование корректных структурированных программ for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)