|
题名:
|
编程的修炼 bian cheng de xiu lian / (荷)艾兹格·W. 迪杰斯特拉(Edsger W. Dijkstra)著 , 裘宗燕译 |
|
ISBN:
|
978-7-115-51223-9 价格： CNY55.00 |
|
语种:
|
chi |
|
载体形态:
|
213页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2021 |
|
内容提要:
|
本书作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过从简单到复杂的一系列程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。 |
|
主题词:
|
程序设计 |
|
中图分类法:
|
TP311.1 版次： 5 |
|
主要责任者:
|
迪杰斯特拉 di jie si te la 著 |
|
次要责任者:
|
裘宗燕 qiu zong yan 译 |
|
索书号:
|
TP311.1/3442 |