编程的修炼 = A discipline of programming
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
人民邮电出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2020 |
Literature type: | Book |
Language: | Chinese |
Series: |
计算机科学经典译丛 |
Subjects: | |
Carrier Form: | 213页: 图 ; 24cm |
ISBN: | 978-7-115-51223-9 |
Index Number: | TP311 |
CLC: | TP311.1 |
Call Number: | TP311.1/3344 |
Contents: | 本书作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过从简单到复杂的一系列程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。 |