热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-27 20:51:00 《英语是玩出来的》何杰 刘丽芳
- 2022-09-19 20:00:37 《社会契约论》卢梭著 何兆武译
- 2022-09-18 19:48:57 成功创业72绝招 艾凡著
- 2022-11-22 08:41:49 【测试文档】小学语文口语交际写作技巧大全
- 2022-09-18 20:22:00 中国企业的六西格玛管理之道 魏中龙主编
- 2022-09-19 10:52:47 《计算机原理与系统结构》侯炳辉主编
- 2022-12-05 15:23:18 《做你自己股神巴菲特送给儿子的人生礼物》巴菲特著 赵亚男译
- 2022-10-02 14:44:45 《心理咨询导论 第3版》约翰·麦克里奥德 潘洁编著
1、本文档共计 273 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
目录第1章程序设计方法学简介1.1程序设计方法学的产生…1.2结构程序设计及其讨论的一些主要问题习题…18第2章结构化程序…192.1什么是结构化程序192.2结构化定理…232.3一些新的控制结构…31习题38第3章模块化程序设计…403.1 MODULA-2语言中的模块化结构403.2ADA语言中的程序包45习题48第4章面向对象的程序设计方法…504.1什么是面向对象的程序设计…504.2应用框架……574.3设计模式…1034.4浅谈面向对象设计语言…134习题150第5章程序正确性证明…152…1525.2不变式断言法…1545.3子目标断言法1595.4公理化方法…1615.5良序集方法…1675.6计数器方法……172习题174第6章结构化程序的正确性证明…1786.1正确性定理…1786.2证明程序正确性的代数方法1806.3产生循环不变式的一种方法188习题…190第7章递归程序及其正确性证明……1921927.2递归程序的一种模型…1927.3递归程序的正确性证明…199习题…205第8章程序的形式推导技术…2068.1谓词变换器及其性质2068.2面向目标的程序推导…2088.3循环不变式的推导技术…220…224第9章程序变换技术…2269.1程序变换的基本思想和基本规则…2269.2程序生成阶段…2299.3程序改进阶段(I)…2329.4程序改进阶段（Ⅱ）…2369.5程序改进阶段（Ⅲ）…2419.6程序变换研究中的若干问题…243习题第10章大型程序设计方法学基础…24510.1抽象数据类型的代数规范…24510.2抽象数据类型的形式化基础…25210.3形式规范的应用…258考文款…265
