Gradel的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
Automata, Logics, and Infinite Games
Gradel, E.; Wilke, T.; Thomas, W.
评分 暂无
