编程的修炼(中英双语)
书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列 从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。
对其内容详细阅读
编程的修炼(中英双语)
最新推荐文章于 2021-05-18 15:34:29 发布
编程的修炼(中英双语)
书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列 从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。
对其内容详细阅读