Categories: 编程算法

编程的修炼(中英双语)

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

本书写于20世纪70年代中后期,但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。

admin3473

Share
Published by
admin3473

Recent Posts

白露春分

✨《新婚之夜》《有人跳舞》《晚…

2月 ago

商务男装宣传口号230

商务男装宣传口号230   在…

2月 ago

自白录

刘晓庆文集”包括两本书:一本书…

2月 ago

乌镇一日游日记

乌镇一日游日记(通用21篇) …

2月 ago

做家务日记100字

做家务日记100字(通用15篇…

2月 ago

海边旅游日记

海边旅游日记(通用25篇)  …

2月 ago