1. 首页
  2. 编程语言
  3. 其他
  4. Principles of Model Checking

Principles of Model Checking

上传者: 2020-05-24 09:41:14上传 PDF文件 5.5MB 热度 24次
Thisbookisonmodelchecking,aprominentformalverificationtechniqueforassessing functionalpropertiesofinformationandcommunicationsystems.Modelchecking requiresamodelofthesystemunderconsiderationandadesiredpropertyandsystematically checkswhetherornotthegivenmodelsa
用户评论
码姐姐匿名网友 2020-05-24 09:41:14

还行,哈哈,虽然看的不是很懂

码姐姐匿名网友 2020-05-24 09:41:14

非常好,终于找到这本书了!!

码姐姐匿名网友 2020-05-24 09:41:14

没想到真找到这本书了,太爽了,正是我需要的

码姐姐匿名网友 2020-05-24 09:41:14

模型检测方面的书籍 很清晰 学习一下

码姐姐匿名网友 2020-05-24 09:41:14

太厚了,看的头痛。