Principle of Model Checking 上传者：liaoding923 2019-01-02 06:26:17上传 其他文件 500kb 热度 108次 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-01-02 06:26:19 很细致，学习模型检测形式化方法很有帮助 码姐姐匿名网友 2019-01-02 06:26:19 理论的东西，还是要好好学学！ 码姐姐匿名网友 2019-01-02 06:26:19 应该算ModelChecking的第二部经典书籍了，与上一部隔了8年多 码姐姐匿名网友 2019-01-02 06:26:19 书籍很好，就是内容有点多，仔细研究还是很好的，有很多详细的例子 发表评论
很细致，学习模型检测形式化方法很有帮助
理论的东西，还是要好好学学！
应该算ModelChecking的第二部经典书籍了，与上一部隔了8年多
书籍很好，就是内容有点多，仔细研究还是很好的，有很多详细的例子