The Science of Programming(David Gries)
anexcellentintroductiontothefieldofprogramverification.
下载地址
用户评论
好书，需要多看多思，算法是灵魂。
感谢楼主分享！
挺好的，可惜跟网路上一样
不错,还行,有学习价值