М.: Мир, 1982. 406 с. В книге американских авторов рассмотрены
теоретические и практические методы структурного программирования
(в концепции Дейкстры), позволяющие программисту получать сложные
программы без ошибок, а также быстро выявлять ошибки в готовых
программах, полученных из разных источников. Для специалистов в
области системного и прикладного программного обеспечения, а также
студентов и аспирантов соответствующих специальностей. Краткое
содержание:
Глава первая. Правильное программирование.
Глава вторая. Средства логического выражения процессов.
Глава третья. Средства написания проектов программ.
Глава четвертая. Структурированные программы.
Глава пятая. Чтение структурированных программ.
Глава шестая. Правильность структурированных программ.
Глава седьмая. Написание структурированных программ.
Глава первая. Правильное программирование.
Глава вторая. Средства логического выражения процессов.
Глава третья. Средства написания проектов программ.
Глава четвертая. Структурированные программы.
Глава пятая. Чтение структурированных программ.
Глава шестая. Правильность структурированных программ.
Глава седьмая. Написание структурированных программ.