名称: | |
描述: | |
公开/私有: | 公开 私有 |
编程的修炼 |
|
题名/责任者:
|
编程的修炼 / (荷) 艾兹格·W. 迪杰斯特拉著 , 裘宗燕译 |
ISBN:
|
978-7-115-51223-9 价格: CNY55.00 |
语种:
|
汉语 |
载体形态:
|
213页 : 图 ; 24cm |
出版发行:
|
北京 : 人民邮电出版社, 2020 |
内容提要:
|
本书作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过从简单到复杂的一系列程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。 |
主题词:
|
程序设计 |
中图分类法
:
|
TP311.1 版次: 5 |
主要责任者:
|
戴克斯特拉 著 |
次要责任者:
|
裘宗燕 译 |
责任者附注:
|
责任者Dijkstra汉译姓: 戴克斯特拉 |
标签:
|
|
相关主题:
|
|
相关资源:
|
|
分享资源:
|
HEA| |01672nam 2200337 450 001| |012020030630 005| |20201123144504.8 010| |▼a978-7-115-51223-9▼dCNY55.00 099| |▼aCAL 012020329145 100| |▼a20201120d2020 em y0chiy50 ea 101|1 |▼achi▼cdut 102| |▼aCN▼b110000 105| |▼aak z 000yy 106| |▼ar 200|1 |▼a编程的修炼▼Abian cheng de xiu lia- | |n▼f(荷) 艾兹格·W. 迪杰斯特拉著▼d= A disc- | |ipline of programming▼fEdsger - | |W. Dijkstra▼g裘宗燕译▼zeng 210| |▼a北京▼c人民邮电出版社▼d2020 215| |▼a213页▼c图▼d24cm 225|2 |▼a计算机科学经典译丛▼Aji suan ji ke xue- | | jing dian yi cong 305| |▼a据1976年英文版译出 306| |▼a本书中文简体版由Pearson Education,In- | |c授权人民邮电出版社出版 314| |▼a责任者Dijkstra汉译姓: 戴克斯特拉 330| |▼a本书作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺- | |序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书- | |讨论了基本顺序程序的本质特征、程序描述和对程序行为(正确性)- | |的推理,并通过从简单到复杂的一系列程序的思考和开发范例,阐释- | |了基于严格的逻辑推理开发正确而可靠的程序的过程。- 410| 0|▼12001 ▼a计算机科学经典译丛 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(Dij- | |kstra, Edsger W.)▼4著 702| 0|▼a裘宗燕▼Aqiu zong yan▼4译 801| 0|▼aCN▼bNMU▼c20200916 801| 2|▼aCN▼bWHUTL▼c20201123 998| |▼aNMU