|
关于我们
 新书资讯 新书推荐 |
模型检测 
定 价：109 元 丛书名：经典译丛
9 7 5 8 2 7 5 1 5 2 3 1 7 读者对象:高校相关专业师生及自动检测系统领域的研究人员
本书共20章，涵盖的主要内容包括模型检测的基本知识、系统建模、时序逻辑、符号模型检测技术、SMV模型检测器、模型检测与自动机理论、偏序约简、抽象解释、有限状态系统的无限族、实时系统验证等。
你还可能感兴趣
我要评论
|
