书籍介绍
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
用户评论
Best book on writing correct programs
这书是讲程序验证的啊，之前那篇热传算法blog为什么会觉得这本书很重要，真的用的出来么
搭配CMU class notes食用..
看不太懂
如何证明你写的程序是正确？
比Dijkstra的A discipline of programming容易上手。读过这部书，可以不必读Dijkstra那部。
比Dijkstra的A discipline of programming更友好，比Tony Hoare的An Axiomatic Basis for Computer Programming更详细。这本书的内容是self-contained，所以有部分内容，主要是谓词逻辑，与部分读者已有的知识有重叠。
感觉不是很友好 有空了再读读看
收藏