书目详细信息
： 模型检测
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-121-27295-0:CNY69.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 模型检测/.(美)E.M.克拉克 (Edmund M.Clarke Jr.), O.格伦贝格(Orna Grumberg), D.A.佩莱德(Doron A.Peled)著/.李刚, 宋雨译 |
| 出版发行项： | 北京:,电子工业出版社:,2016.01 |
| 载体形态项： | 223页:;+图:;+24cm |
| 提要文摘： | 本书共18章, 主要内容包括: 系统建模、时序逻辑、模型检测、二叉判定图、符号模型检测、实际中的模型检测、模型检测和自动机理论、结构间的等价性和拟序、组合推理、对称性、有限状态系统的无限簇等。 |
| 并列题名： | Model checking eng |
| 题名主题： | 自动检测系统 |
| 中图分类： | TP274 |
| 个人名称等同： | 克拉克 著 |
| 个人名称等同： | 格伦贝格 著 |
| 个人名称等同： | 佩莱德 著 |
| 个人名称次要： | 李刚 译 |
| 个人名称次要： | 宋雨 译 |
| 记录来源： | CN 三新书业 20161121 |