《结构程序设计》求取 ⇩

目录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