本书是图灵奖获得者Edsger W. Dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。
本书写于20世纪70年代中后期,但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
序 IX
前言 XI
第0章 执行抽象 1
第1章 编程语言的作用 13
第2章 状态及其特征 19
第3章 语义的性质 29
第4章 一种编程语言的语义特征 47
第5章 两个定理 73
第6章 论完满终止结构的设计 81
第7章 再论欧几里得算法 89
第8章 几个小例子的形式化处理 101
第9章 论受限的非确定性 143
第10章 有关记法的短论:“变量的作用域” 157
第11章 数组变量 187
第12章 线性检索定理 209
第13章 下一个排列 213
第14章 荷兰国旗问题 221
第15章 更新顺序文件 233
第16章 再论归并 245
第17章 来自R.W.HAMMING的一个练习 257
第18章 模式匹配问题 269
第19章 将一个数写成两个平方之和 279
第20章 大数的最小素因子问题 285
第21章 最孤立村庄问题 297
第22章 最短子支撑树问题 307
第23章 记录等价类的REM算法 321
第24章 三维空间的凸包问题 335
第25章 有向图的最大强连通分支 383
第26章 论手册和实现 401
第27章 跋 417
《汽车发动机试验学教程》是对现代汽车发动机试验进行全面系统论述的专业教科书。书中首先论述了进行汽车发动机试验必备的试验台
要想在网络经济中取得竞争优势,仅有网络是远远不够的,本书是为那些面临规划网络战略重任的经理们所写的,这些战略将为他们公司
书中以4个面向来表现C++的本质:procedural(程序性的)、generic(泛型的)、object-based(个别对象的)、object-orient...
TounderstandWebdesignitiscriticaltounderstanddesignfirstandtechnologysecond.What...
《建筑学教程2:空间与建筑师》进一步充实了《建筑学教程1:设计原理》,拥有深厚的内涵。《建筑学教程2:空间与建筑师》追溯了他近
本书是Python开发者的完全指南——针对Python2.5全面升级·学习专业的Python风格、最佳实践和好的编程习惯;·加强对Python对象、
《诗自四季来》内容简介:本书选取了100首古诗词,以春夏秋冬为序展开,以生命体验与文化贯通相融相生的方式切入,从言语组织方式的
《门店合伙人》内容简介:对于传统的门店经营者来说,无论其做的是是直营店、加盟店还是其他连锁店,目前都面临招人难、留人难、业
《清华法治论衡(第27辑)》内容简介:马克斯·韦伯是19世纪到20世纪最杰出的社会学家与法学家,其研究涉及法学、社会学、政治学、
亿万人在万维网上的各种活动,尽管是随机发生、随意展开、无人协调,但显现出了一些有趣的特征与明显的模式:从网络信息的结构,
RAW格式数码照片处理完全解析-(附光盘) 本书特色 raw格式是目前所有数码摄影人士都非常喜爱的影像格式,但由于raw格式图片在转换过程中步骤繁多,让许多影友...
过阅读本书,你将能够:了解OSX和iOS应用的生命周期使用故事板设计自适应界面探索图形系统,包括内置的2D和3D游戏框架用AVFounda
日本机器人学会日本机器人学会成立于1983年1月28日,是追求学术领域上的发展,并提供专家发表研究及交流技术的平台。学会以推广机
Effective C++中文版 本书特色 本书的50条准则,每一条都扼要说明了一个可让你写出更好的C++ 程序代码的方法,并以特别设计过的例子详加讨论。在些新...
《像绣花一样精细:城市治理的金山实践》内容简介:本书由上海交通大学中国城市治理研究院与上海市金山区合作编写。以案例的形式展
《网店应该这样推广》内容简介:《网店应该这样推广——淘宝店铺赚钱的秘密(第2版)》是一本系统地讲解关于如何进行网上店铺营销的
《内向高敏者》内容简介:这是一份针对内向型高敏感者的幸福生活指南。作为兼具内向性格和高敏感特质的人,你善于分析、小心谨慎、
《所罗门王的宝藏》内容简介:犹太民族的所罗门国王既是智慧的代表,又是财富的象征。他死后多少个世纪以来,人们一直在寻找这批古
Personasplayanessentialroleinthedevelopmentofsuccessfulproducts.Withoutcreatingp...
《FinOps云成本优化》内容简介:随着云计算的迅猛发展,越来越多的业务迁移至云端,众多企业在审计成本的过程中发现,用来支撑业务