|
题名:
|
程序设计方法学 / 胡正国, 吴健, 邓正宏编著 , |
|
ISBN:
|
978-7-118-06051-5 价格： CNY26.00 |
|
语种:
|
chi |
|
载体形态:
|
266页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 国防工业出版社 出版日期： 2009.01 |
|
内容提要:
|
本书主要介绍程序设计方法学这一新兴学科的主要内容, 即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 |
|
主题词:
|
程序设计 方法 |
|
中图分类法:
|
TP311.11 版次： 4 |
|
主要责任者:
|
胡正国 编著 |
|
主要责任者:
|
吴健 编著 |
|
主要责任者:
|
邓正宏 编著 |
|
版次:
|
第2版 |