本书是图灵奖获得者艾兹格·W. 迪杰斯特拉(Edsger W. Dijkstra)的最重要的著作,也是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过从简单到复杂的一系列程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。 本书写于20世纪70年代后期,但其对于编程领域的技术开发,对于编程语言的发展和程序理论研究的深刻影响持续至今。本书值得每一个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
作者简介
艾兹格 W.迪科斯彻 (Edsger Wybe Dijkstra,1930—2002),荷兰人,计算机科学家,毕业就职于荷兰Leiden大学,早年钻研物理及数学,后转向计算学。他曾在1972年获得图灵奖,还获得过1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖以及2002年ACM PODC**影响力论文奖。
编辑推荐
1.作者艾兹格·W. 迪杰斯特拉(Edsger W. Dijkstra)是计算机科学奠基人之一,图灵奖获得者,是编程界的先驱、传奇级人物; 2.本书是作者重要的著作,也是计算机学科经典图书,畅销多年; 3.本书写于20世纪70年代后期,但其对于编程领域的技术开发,对于编程语言的发展和程序理论研究的深刻影响持续至今; 4.内容严谨,逻辑清晰,书中体现的思想对所有的编程人员起到启示指引的作用。