北京大学自动机理论语言和计算导论研究生课程2015-2016，金芝老师任课，并附《ModelChec...

Android 4高级编程（第3版），英文完整版,打包书中所有源代码。