结构化程序设计

摘要: 本书于1973年在美国出版,出自于作者在斯坦福大学和联邦技术研究所 (瑞士) 讲课时的讲稿。目的是要介绍一门按系统方式构成的程序设计技术,适合于需要把算法系统化结构作为基本教学训练的读者。本书着重介绍了程序正确性证明的方法,提出了断言和不变式的基本概念,作者不仅在理论上,而更强调在实践中通过深入理解算法而保证程序的正确性。前4章介绍了计算机及程序设计的基本概念,第5、6章叙述了程序正确性证明,第7章介绍了一种程序表示法——PASCAL方法,第8～12章叙述了该语言表示法的各种成分,第13章讲述了数的转换,第14章介绍了正文文件的调整及语法规则,第15章介绍了逐步求精的程序设计方法。