@a编程的修炼@Abian cheng de xiu lian@d= A discipline of programming@f(荷) Edsger W. Dijkstra著@g裘宗燕译@zeng
205
@a第1版
210
@a北京@c电子工业出版社@d2013.07
215
@aXXV, 433页@c图@d24cm
314
@a责任者Dijkstra规范汉译姓: 戴克斯特拉
330
@a本书为图灵奖获得者Edsger W. Dijkstra所著,是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。
500
10
@aDiscipline of programming@mChinese
606
0
@a程序设计@Acheng xu she ji
690
@aTP311.1@v5
701
1
@a戴克斯特拉@Adai ke si te la@g(Dijkstra, Edsger W.)@4著
702
0
@a裘宗燕@Aqiu zong yan@4译
801
0
@aCN@b郑州旅游职业学院@c20140725
905
@aZZLYZY@dTP311.1@e60
编程的修炼= A discipline of programming/(荷) Edsger W. Dijkstra著/裘宗燕译.-第1版.-北京:电子工业出版社,2013.07
XXV, 433页:图;24cm
ISBN 978-7-121-20250-6(简装):CNY79.00
本书为图灵奖获得者Edsger W. Dijkstra所著,是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。