书目信息 |
题名: |
编程的修炼
|
|
作者: | 迪杰斯特拉 著 ;裘宗燕 译 | |
分册: | ||
出版信息: | 北京 人民邮电出版社 2020 |
|
页数: | 213页 | |
开本: | 24cm | |
丛书名: | 计算机科学经典译丛 | |
单 册: | ||
中图分类: | TP311.1 | |
科图分类: | ||
主题词: | 程序设计 | |
电子资源: | ||
ISBN: | 978-7-115-51223-9 |
000 | 01286nam0 2200301 450 | |
001 | 2059961318 | |
005 | 20201028163942.44 | |
010 | @a978-7-115-51223-9@dCNY55.00 | |
049 | @aA330300WZL@bUCS01010159763@c2004911929 | |
100 | @a20201017d2020 em y0chiy0110 ea | |
101 | 1 | @achi@ceng |
102 | @aCN@b110000 | |
105 | @ay z 000yy | |
200 | 1 | @a编程的修炼@9bian cheng de xiu lian@b专著@dA discipline of programming@f(荷)艾兹格·W. 迪杰斯特拉(Edsger W. Dijkstra)著@g裘宗燕译@zeng |
210 | @a北京@c人民邮电出版社@d2020 | |
215 | @a213页@d24cm | |
225 | 2 | @a计算机科学经典译丛 |
305 | @aPearson Education,Inc授权出版 | |
330 | @a本书作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过从简单到复杂的一系列程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。 | |
461 | 0 | @12001 @a计算机科学经典译丛 |
510 | 1 | @aDiscipline of programming@zeng |
606 | 0 | @a程序设计 |
690 | @aTP311.1@v5 | |
701 | 0 | @c(荷)@a迪杰斯特拉@9di jie si te la@c(Dijkstra, Edsger W.)@4著 |
702 | 0 | @a裘宗燕@9qiu zong yan@4译 |
801 | 2 | @aCN@bA330300WZL @c20201027 |
801 | 0 | @aCN@bWT@c20201027 |
905 | @a241250@dTP311.1@e97 | |
编程的修炼=A discipline of programming/(荷)艾兹格·W. 迪杰斯特拉(Edsger W. Dijkstra)著/裘宗燕译.-北京:人民邮电出版社,2020 |
213页;24cm.-(计算机科学经典译丛) |
ISBN 978-7-115-51223-9:CNY55.00 |
本书作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过从简单到复杂的一系列程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。 |
● |
相关链接 |
正题名:编程的修炼
索取号:TP311.1/97
 
预约/预借
序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
1 | 1878278 | 218782789 | 样本书库/4110540304/ [索取号:TP311.1/97] | 在馆 | |
2 | 1878279 | 218782798 | 新区/5100060303/ [索取号:TP311.1/97] | 在馆 | |
3 | 1878280 | 218782805 | 新区/5100060303/ [索取号:TP311.1/97] | 在馆 |