机读格式显示(MARC)

• 000 01649nam0 2200349 450

• 001 0000727959

• 005 20190426150800.0

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

• 100 __ |a 20181225d2018 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 模型检测 |A mo xing jian ce |d = Model checking |f (美) Edmund M. Clarke, (美) Orna Grumberg, (美) Doron A. Peled著 |g 吴尽昭, 何安平, 高新岩译 |z eng

• 210 __ |a 北京 |c 电子工业出版社 |d 2018

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

• 306 __ |a 本书中文简体版专有出版权由MIT Press 授予电子工业出版社

• 314 __ |a 埃蒙德·M. 克拉克 (Edmund M. Clarke)，美国卡耐基。梅隆大学计算机科学系教授，并且是ACM和IEEE会士。他在软/硬件验证、自动定理证明、形式方法等方面享有国际声誉，2007年获得ACM图灵奖。

• 320 __ |a 有书目 (第215-225页)

• 330 __ |a 模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、系统建模、时序逻辑、符号模型检测技术、SMV模型检测器、模型检测与自动机理论、偏序约简、抽象解释、有限状态系统的无限簇、实时系统验证等。

• 500 10 |a Model checking |A Model Checking |m Chinese

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

• 690 __ |a TP274 |v 5

• 701 _1 |a 克拉克 |A ke la ke |g (Clarke, Edmund M.) |4 著

• 701 _1 |a 格伦贝格 |A ge lun bei ge |g (Grumberg, Orna) |4 著

• 701 _1 |a 佩莱德 |A pei lai de |g (Peled, Doron A.) |4 著

• 702 _0 |a 吴尽昭 |A wu jin zhao |4 译

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

• 702 _0 |a 高新岩 |A gao xin yan |4 译

• 801 _0 |a CN |b HDUL |c 20190426

• 905 __ |a HDUL |d TP274/4544

• 920 __ |a 233030 |z 1