作者	冯树椿
出版社
出版时间	1988-07-01

特色：

本书是一本介绍程序设计方法学的慨貌及各种实用方法的教科书。内容涉及结构程序的概念、程序设计的主要控制结构、程序正确性的证明，数据类型抽象、递归方法、逐步求精法、模块设计和推导技术，*后介绍近几年新发展的程序变换技术。 本书可供计算机专业的师生选用，也可供计算机技术人员参考。同时，本书是中央电大“程序设计方法”课程的教学用书。