程序设计方法学pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

程序设计方法学PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目 录第一章引论§1.1 程序设计发展与程序设计方法学 1

§1.2 程序设计的一般途径 3

§1.3 结构程序设计概念 5

第五章递归程序设计§5.1 递归的概念 10

习 题 14

第二章程序的控制结构§2.1 基本控制结构 17

§2.2 goto语句 20

§2.3 过程与函数 31

习 题 49

第三章程序的正确性证明§3.1 程序的测试 58

§3.2 Floyd-Hoare规则公理方法 66

§3.3 Dijkstra最弱前置条件方法 81

习 题 105

第四章数据类型与抽象§4.1 类型概念 110

§4.2 数据类型 113

§4.3 数据抽象及其代数规范 121

习题 144

§5.2 递归与迭代程序 153

§5.3 递归数据结构 177

*§5.4 递归程序及其验证 206

习题 230

第六章程序设计方法§6.1 逐步求精方法 236

§6.2 模块化程序设计方法 264

§6.3 程序的形式推导方法 282

§6.4 程序求逆 306

习题 312

*第七章程序变换§7.1 程序变换的基本思想 314

§7.2 程序变换方法 315

§7.3 FP函数型程序的代数变换 335

习题 370

参考文献 371