书籍简介:

本书是图灵奖获得者Edsger W.Dijkstra在编程领域里的经典着作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过一系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。

作者介绍:

艾兹赫尔·戴克斯特拉（Edsger W. Dijkstra，1930年5月11日－2002年8月6日），生于荷兰鹿特丹，自喻为荷兰第一个以程序设计作为职业的人。他早年积极推动结构化程序设计，一生致力于将计算（computing）发展为一门科学，在计算机科学技术的诸多领域有开拓性建树，并由于在程序设计基础研究中的卓越贡献获得1972年图灵奖。

书籍目录:

序

前言

第0章执行抽象

第1章编程语言的作用

第2章状态及其特征

第3章语义的性质

第4章一种编程语言的语义特征

第5章两个定理

第6章论完满终止结构的设计

第7章再论欧几里得算法

第8章几个小例子的形式化处理

第9章论受限的非确定性

第10章有关记法的短论："变量的作用域"

第11章数组变量

第12章线性检索定理

第13章下一个排列

第14章荷兰国旗问题

第15章更新顺序文件

第16章再论归并

第17章来自R.W.HAMMING的一个练习

第18章模式匹配问题

第19章将一个数写成两个平方之和

第20章大数的最小素因子问题

第21章最孤立村庄问题

第22章最短子支撑树问题

第23章记录等价类的REM算法

第24章三维空间的凸包问题

第25章有向图的最大强连通分支

第26章论手册和实现

第27章跋

内容摘要:

《编程的修炼（中英对照）》为图灵奖获得者Edsger W.Dijkstra所著，是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。《编程的修炼（中英对照）》中讨论了顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过一系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。

编辑推荐:

《编程的修炼（中英对照）》写于20世纪70年代中后期，但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。

书籍规格:

书籍详细信息
书名	编程的修炼站内查询相似图书
	9787121202506 《编程的修炼》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	电子工业出版社
版次	1版	印次	1
定价(元)	65.0	语种	汉英对照
尺寸	24 × 17	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

编程的修炼是电子工业出版社于2013.7出版的中图分类号为 TP311.1 的主题关于程序设计－汉、英的书籍。