← 返回

模型检测

著者(美)Edmund M. Clarke，Jr.[等]著,何安平译
ISBN9787121525537
分类号TP274 自动化技术、计算机技术
学科工学
版次第2版
出版社电子工业出版社
丛书名经典译丛:人工智能与智能系统
出版年2026
价格¥109.00
页码11,302页
类型 📄 纸质书
核心评分8.4/10
读者对象—
主题词—
内容简介：本书共20章，涵盖的主要内容包括模型检测的基本知识、系统建模、时序逻辑、符号模型检测技术、SMV模型检测器、模型检测与自动机理论、偏序约简、抽象解释、有限状态系统的无限族、实时系统验证等。
登录后可荐购