具体描述
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
用户评价
评分
##感觉不是很友好 有空了再读读看
评分##如何证明你写的程序是正确？
评分##read it, if I've more time.
评分Best book on writing correct programs
评分Best book on writing correct programs
评分##搭配CMU class notes食用..
评分##read it, if I've more time.
评分Best book on writing correct programs
评分##这书是讲程序验证的啊，之前那篇热传算法blog为什么会觉得这本书很重要，真的用的出来么
