机读格式显示(MARC)
- 000 01274nam0 2200337 450
- 010 __ |a 978-7-121-27295-0 |d CNY69.00
- 100 __ |a 20160312d2016 em y0chiy0110 ea
- 200 1_ |a 模型检测 |9 mo xing jian ce |b 专著 |d Model checking |f (美)Edmund M.Clarke Jr.,(美)Orna Grumberg,(美)Doron A.Peled著 |g 李刚,宋雨译 |z eng
- 210 __ |a 北京 |c 电子工业出版社 |d 2016.01
- 215 __ |a 11,223页 |d 24cm
- 330 __ |a 本书共18章,主要内容包括:系统建模、时序逻辑、模型检测、二叉判定图、符号模型检测、实际中的模型检测、模型检测和自动机理论、结构间的等价性和拟序、组合推理、对称性、有限状态系统的无限簇等。
- 333 __ |a 本书适用于自动检测系统研究人员
- 510 1_ |a Model checking |z eng
- 701 _0 |c (美) |a 克拉克 |9 ke la ke |c (Clarke Jr., Edmund M.) |4 著
- 701 _0 |c (美) |a 格伦贝格 |9 ge lun bei ge |c (Grumberg, Orna) |4 著
- 701 _0 |c (美) |a 佩莱德 |9 pei lai de |c (Peled, Doron A.) |4 著
- 702 _0 |a 李刚 |9 li gang |4 译
- 702 _0 |a 宋雨 |9 song yu |4 译
- 801 _0 |a CN |b 浙江新华馆藏公司 |c 20160312
- 961 __ |a 3472625 |c 2016.03.13