阅读(18.5k) 书签赞(0) 我要纠错

编写正确的程序

2018-02-24 15:53 更新

编写正确的程序

本章以二分搜索为例子，讲述了如何对程序进行验证及正确性分析。

深入阅读：David Gries的《Science of Programming》是程序验证领域里极佳的一本入门书籍。

以上内容是否对您有帮助：

← 数据决定程序结构

编程中的次要问题 →