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