1. 首页
  2. 编程语言
  3. 其他
  4. Model Checking 模型检查 Edmund M. Clarke 经典书籍

Model Checking 模型检查 Edmund M. Clarke 经典书籍

上传者: 2019-07-06 07:39:17上传 PDF文件 2.97MB 热度 62次
Clarke_E.M.,_Grumberg_O.,_Peled_D.A._Model_checking_(2000)(en)(314s).文件较小,非常清晰
下载地址
用户评论
码姐姐匿名网友 2019-07-06 07:39:17

资源好,找蛮久了

码姐姐匿名网友 2019-07-06 07:39:17

这本书是模型检测的经典书籍,很好。

码姐姐匿名网友 2019-07-06 07:39:17

扫描版,不是很清晰,但是已经很好了。非常感谢!

码姐姐匿名网友 2019-07-06 07:39:17

很好的一本书

码姐姐匿名网友 2019-07-06 07:39:17

经典书,就是字有点小,一页上有两页字,费眼睛,不过谢谢分享!

码姐姐匿名网友 2019-07-06 07:39:17

是模型检查的经典书籍, 不可错过

码姐姐匿名网友 2019-07-06 07:39:17

这本书不错,不过现在感觉有点老了。现在有更好的书,比如Principles of Model Checking

码姐姐匿名网友 2019-07-06 07:39:17

不是很清楚是缺陷。总体还不错

码姐姐匿名网友 2019-07-06 07:39:17

扫描版,不过很清楚

码姐姐匿名网友 2019-07-06 07:39:17

图灵奖获得者Clarke_E.M所写的Model Checking,有比较概括的介绍modelchecking各方面的知识,是modelchecking方向的经典书籍