程序设计方法学

作者：  胡正国，吴健，邓正宏编著

出版社：国防工业出版社,2009

简介：　　本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 　　 本书可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。

程序设计方法学

作者：  胡正国,蔡经球编著

出版社：西北工业大学出版社,1992.11

简介：

程序设计方法学[电子资源.图书]

作者：  胡正国等编著

出版社：国防工业出版社,2003

简介：本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 本书可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。

计算机应用知识与应用能力等级考试指南

作者：  蒋立源,胡正国主编

出版社：西北工业大学出版社,1994

简介：购买方法：点击“蓝色文字收藏品”或者“可以从“这些卖家”购买” .....................购买说明：此书为绝版图书，售价高于原价作者:蒋立源，胡正国主编  页数:221  出版社:西安市：西北工业大学出版社  出版日期:1994.01 

小秦岭拆离-变质杂岩核构造与金矿

作者：  胡正国等著

出版社：陕西科学技术出版社,1994

简介：

程序设计方法学

作者：  胡正国

出版社：西北工业大学出版社 1987年02月

简介：