编程珠玑(第2版·修订版) + 编程珠玑(续) 高清PDF 读到 编程珠玑 里面关于 Binary Search 的正确性证明时我大呼过瘾，原来程序的正确性也是可以推导的，然后我就在那一章的引用里发现 David Gries 的 The Science of Programming。看名字就觉得很厉害，直接搞了一本开撸。 不愧为 编程珠玑 引用的书籍，读完 The Science of Programming 之后，我获得了证明简单代码段的正确性 这个技能