编写正确的程序 · 把《编程珠玑》读薄

## 编写正确的程序本章以二分搜索为例子，讲述了如何对程序进行验证及正确性分析。深入阅读：David Gries的《Science of Programming》是程序验证领域里极佳的一本入门书籍。