正版程序设计方法学书名:程序设计方法学作者:胡正国，吴健，邓正宏编著出版社：国防工业出版社本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。本书可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。目录--------------------------------------------------------------------------------第1章程序设计方法简介第1节程序设计方法学的产生第2节结构程序设计及其讨论的一些主要