奥宏书架

程序设计方法学

书名 : 程序设计方法学

作者 : 胡正国（著）吴健（著）邓正宏（著）

出版社 : 国防工业出版社

出版日期 : 2003-01

ISBN : 9787118029727

价格 : 37.00

开本 : 16开

装帧 : 平装-胶订

纸张 : 胶版纸

修改数据

内容简介

本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。