【文件属性】：
文件名称：Principle of Model Checking
文件大小：5.71MB
文件格式：PDF
更新时间：2015-04-16 10:47:46
Model Checking
这个版本我自己增加了了各个章节的书签，方便阅读的时候查找和对书有一个大概的了解
网友评论
- 很细致，学习模型检测形式化方法很有帮助
- 理论的东西，还是要好好学学！
- 应该算ModelChecking的第二部经典书籍了，与上一部隔了8年多
- 书籍很好，就是内容有点多，仔细研究还是很好的，有很多详细的例子