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