结构程序设计

作者：（英）达尔（O.J. Darl）等著；陈火旺等译
出版社：北京：科学出版社
出版年份：1980
ISBN：15031·306
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
10
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

目录 1

Ⅰ．结构程序设计札记 E．W．戴克斯特拉 1

1．致读者 1

2．人的能力的局限性 2

3．机器的可靠性 4

4．思维方法 8

5．正确性证明之一例 14

6．证明的有效性和实现的有效性 18

7．程序的理解 20

8．程序比较 28

9．分步程序组成之例一 33

10．程序族 49

11．存贮空间对计算速度的影响 52

12．一个程序模型 55

13．分步程序组成之例二 63

14．我们获得了什么 75

15．组织和编排程序 80

16．更具体的设计考虑 86

17．八后问题 92

1．引论 106

Ⅱ．数据结构札记 C．A．R．霍尔 106

2．类型概念 115

3．非结构数据类型 122

4．笛卡尔积 130

5．分歧和 138

6．数组 144

7．幂集 153

8．序列 163

9．递归数据结构 176

10．稀疏数据结构 184

11．例子排考表 192

12．公理化 205

参考文献 214

Ⅲ．层次程序结构 O．J．达尔与C．A．R．霍尔 216

1．引言 216

2．预备知识 216

3．对象类 221

4．伙伴程序 228

5．表格结构 239

6．程序连接 250

7．概念分层 258

参考文献 273