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