编程的修炼(中英双语)



编程的修炼(中英双语)


      书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并经过一系列 从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。


对其内容详细阅读

html

相关文章
相关标签/搜索