编程技巧The Craft of Programming
一本关于编程的教科书，着重于程序的规范和证明。包括作者自己的研究结果。
下载地址
用户评论
