本书是图灵奖获得者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
围绕如何实现高效调试这一主题,本书深入系统地介绍了以调试器为核心的各种软件调试技术。本书共30章,分为6篇。第1篇介绍了软件
《二战尖端武器鉴赏指南(珍藏版)》内容简介:本书筛选了大量自一战结束至二战结束的划时代高尖端武器,以及当时各国主力、或者具
◆全球工业设计教父,世界顶级创意咨询公司青蛙公司创始人哈特穆特·艾斯林格,首次揭秘设计战略如何塑造商业的未来,如何将创新
《汉字的故事(中华文化故事)》内容简介:《汉字的故事》以生动活泼的笔调介绍了汉字的创制演变与造字方法,并精选出133个与日常生
《安得堂咏草》内容简介:《安得堂咏草》为施小炜诗集,共收录其所创作的旧体诗词一百三十八首,分为悔其集、面壁斋集篇、暗疏乡集
《世界现代化历程·总论卷》内容简介:本书是我社出版的、由钱乘旦教授主编的《世界现代化历程》10卷本的精装本套书版,包括总论卷
《图形设计新元素》一书提出了一些平面设计研究领域迫切需要关注的新问题。埃伦勒普顿(EllenLupton)是《字体思维》(Thinkingwith
《游学集录》内容简介:本书为2004年版《游学集录》的修订本,收为“孙昌武文集”的一种。书中所收录的36篇文章,除含孙昌武于20世
你会是那个熟读离心力概念却无法解释潮汐成因的中学生吗?其实,中学物理是与日常生活关系最密切的科目。本书将繁杂的物理公式与
《JAVA核心技术卷2:高级特征》是Java技术权威指南,全面覆盖Java技术的高级主题,包括流与文件、XML、网络、数据库编程、高级Swi
《中国神话密码》内容简介:本书通过五个方面梳理中国神话体系:《山海经》探秘、上古时代的神界领袖、日常生活中的诸神、动植物与
《马克思恩格斯法律思想研究》内容简介:本书分为上、下两编。上篇以马克思、恩格斯的重要著作文本为线索,梳理马克思和恩格斯运用
本书以Spring应用程序开发为中心,全面讲解如何运用SpringBoot提高效率,使应用程序的开发和管理更加轻松有趣。作者行文亲切流畅
《电话的社会影响》是一本论文集,涉及众多的研究领域。它涵盖了电话在历史、文学、城市发展中的各个不同角色。提示了电话与女性
《未来银行全面风险管理》内容简介:本书从历史演进和核心要义两个纬度,对银行经营模式、巴塞尔协议、COSO企业风险管理框架进行了
客觀的結構式臨床測驗(ObjectiveStructuredClinicalExamination,OSCE)是評估臨床能力的方式,藉由模擬臨床情境配合臨床檢驗...
《文字设计的原理》内容简介:在平面设计中,文字设计的重要性无需多说。各种设计作品中都要添加文字。而文字又是信息传递的重要
ANSYS Fluent 15.0流体计算从入门到精通-升级版-(含DVD光盘1张) 本书特色 fluent软件是目前国际上比较流行的商业cfd软件,只要涉及流...
《Android开发艺术探索》是一本Android进阶类书籍,采用理论、源码和实践相结合的方式来阐述高水准的Android应用开发要点。《And
《经销商窜货管理》内容简介:目前,大部分企业还是依靠传统渠道开展销售工作,窜货仍然是渠道管理中*常见的问题之一。本书较为全面