ModelChecking-EdmundMClarke-模型检查PDF 上传者：xk22463 2019-02-27 00:38:23上传 其他文件 500kb 热度 47次 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-02-27 00:38:23 好不容易找到模型检测的教材，虽然不是很清晰，但是可以了。感谢。 码姐姐匿名网友 2019-02-27 00:38:23 深入浅出的一份教材。 码姐姐匿名网友 2019-02-27 00:38:23 太好了 是我一直在找的东西! 码姐姐匿名网友 2019-02-27 00:38:23 经典的入门教材，影印的比较清晰了，有些地方有漏字母的不过不影响阅读。特别感谢分享！ 码姐姐匿名网友 2019-02-27 00:38:23 有些页缺失了字母，不过可以自行补足 码姐姐匿名网友 2019-02-27 00:38:23 不错，model checking 基础 码姐姐匿名网友 2019-02-27 00:38:23 不错，很经典，入门必备 码姐姐匿名网友 2019-02-27 00:38:23 不错，模型检测必读入门教材，不过清晰度不高 码姐姐匿名网友 2019-02-27 00:38:23 经典，全面~ 码姐姐匿名网友 2019-02-27 00:38:23 Model Checking入门经典 谢谢分享 发表评论
好不容易找到模型检测的教材，虽然不是很清晰，但是可以了。感谢。
深入浅出的一份教材。
太好了 是我一直在找的东西!
经典的入门教材，影印的比较清晰了，有些地方有漏字母的不过不影响阅读。特别感谢分享！
有些页缺失了字母，不过可以自行补足
不错，model checking 基础
不错，很经典，入门必备
不错，模型检测必读入门教材，不过清晰度不高
经典，全面~
Model Checking入门经典 谢谢分享