理论计算机科学要点Essentials of Theoretical Computer Science
涵盖了计算理论的基础知识，并提供了一些用于程序验证，翻译和编译以及算法分析的工具。
下载地址
用户评论
