本书为图灵奖获得者Edsger W. Dijkstra所著,是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。
编程的修炼(中英对照) EPUB, PDF, TXT, AZW3, MOBI, FB2, DjVu, Kindle电子书免费下载。
epub下载 pdf下载 txt下载 azw3下载 mobi下载 fb2下载 djvu下载