编程的修炼

| 暂存书架(0) | 登录



MARC状态:已编 文献类型:中文图书 浏览次数:22

题名/责任者:
编程的修炼/(荷)Edsger W. Dijkstra著 裘宗燕译
出版发行项:
北京:电子工业出版社,2013
ISBN及定价:
978-7-121-20250-6/CNY79.00
载体形态项:
25,433页;24cm
并列正题名:
Discipline of programming
个人责任者:
(荷) 戴克斯特拉 (Dijkstra, Edsger W. 1930~2002) 著
个人次要责任者:
裘宗燕 (1952~) 译
学科主题:
程序设计-汉语-英语
学科主题:
程序设计
中图法分类号:
TP311.1
版本附注:
由培生教育出版集团亚洲有限公司授权出版
内容简介:
本书是图灵奖获得者Edsger W. Dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。 本书写于20世纪70年代中后期,但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
索书号 条码号 年卷期 馆藏地 书刊状态
TP311.1/24 1348500   自然科学书库-四楼西北     可借
TP311.1/24 1348501   自然科学书库-四楼西北     可借
TP311.1/24 1348502   自然科学书库-四楼西北     可借
TP311.1/24 1348503   自然科学书库-四楼西北     可借
TP311.1/24 1348504   自然科学书库-四楼西北     可借
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)