机读格式显示(MARC)

• 000 01291nam0 2200325 450

• 001 0000142483

• 005 20190409164800.0

• 010 __ |a 978-7-121-35274-4 |d CNY69.00

• 049 __ |a A330000ZJL |b UCS01009322576 |c 3419510

• 100 __ |a 20181122d2018 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

• 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 2018

• 215 __ |a 11,225页 |c 图 |d 24cm

• 305 __ |a 由MIT Press授权出版

• 330 __ |a 本书共分18章，涵盖的主要内容包括模型检测的基本知识、系统建模、时序逻辑、符号模型检测技术、SMV模型检测器、模型检测与自动机理论、偏序约简、抽象解释、有限状态系统的无限簇、实时系统验证等。

• 510 1_ |a Model checking |z eng

• 606 0_ |a 自动检测系统 |9 zi dong jian ce xi tong

• 690 __ |a TP274 |v 5

• 701 _0 |c (美) |a 克拉克 |9 ke la ke |c (Clarke, Edmund M.) |4 著

• 701 _1 |c (美) |a Grumberg |9 Grumberg |b Orna |4 著

• 701 _1 |c (美) |a Peled |9 Peled |b Doron A. |4 著

• 702 _0 |a 吴尽昭 |9 wu jin zhao |f (1965-) |4 译

• 702 _0 |a 何安平 |9 he an ping |4 译

• 702 _0 |a 高新岩 |9 gao xin yan |f (1976-) |4 译

• 801 _0 |a CN |b GDPTC |c 20190409

• 905 __ |a GDPTC |d TP274/103