000
01692nam0 2200337 450
001
012019000681
010
@ a978-7-121-35274-4@ dCNY69.00
100
@ a20181126d2018 em y0chiy50 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ aak a 000yy
106
@ ar
200
1
@ a模型检测@ Amo xing jian ce@ d= Model checking@ f(美) Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled著@ F(mei) edmund m. clarke, jr., orna grumberg, doron a. peledzhu@ g吴尽昭, 何安平, 高新岩译@ zeng
210
@ a北京@ c电子工业出版社@ d2018.11
215
@ a11, 225页@ c图@ d24cm
306
@ a本书中文简体版专有版权由MIT Press授予电子工业出版社
314
@ a责任者Clarke规范汉译姓: 克拉克; 责任者Grumberg规范汉译姓: 格伦贝格; 责任者Peled规范汉译姓: 佩莱德
314
@ aEdmund M. Clarke, 美国卡内基·梅隆大学计算机科学系教授, 并且是ACM和IEEE会士。
320
@ a有书目 (第215-225页)
330
@ a模型检测是一种用于自动验证有限状态并发系统的技术, 与基于模拟、测试和演绎推理的传统技术相比, 具有许多方面的优势。本书共分18章, 涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证, 同时介绍NuSMV和UPPAAL两个流行的模型检测器。
500
10
@ aModel checking@ mChinese
606
0
@ a自动检测系统@ Azi dong jian ce xi tong
690
@ aTP274@ v5
701
1
@ a克拉克@ Ake la ke@ g(Clarke, Edmund M.)@ 4著
701
1
@ a格伦贝格@ Age lun bei ge@ g(Grumberg, Orna)@ 4著
701
1
@ a佩莱德@ Apei lai de@ g(Peled, Doron A.)@ 4著
702
0
@ a吴尽昭@ Awu jin zhao@ 4译
702
0
@ a何安平@ Ahe an ping@ 4译
702
0
@ a高新岩@ Agao xin yan@ 4译
801
0
@ aCN@ c20181126
905
@ a河南城建学院图书馆@ b21424084-85@ dTP274@ eK633@ f2
模型检测= Model checking/(美) Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled著/吴尽昭, 何安平, 高新岩译.-北京：电子工业出版社，2018.11 11, 225页：图；24cm ISBN 978-7-121-35274-4：CNY69.00 模型检测是一种用于自动验证有限状态并发系统的技术, 与基于模拟、测试和演绎推理的传统技术相比, 具有许多方面的优势。本书共分18章, 涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证, 同时介绍NuSMV和UPPAAL两个流行的模型检测器。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1424084
214240846
自科库301/301自科库 42排4列1层/
[索取号:TP274/K633]
在馆
2
1424085
214240855
自科库301/301自科库 42排4列1层/
[索取号:TP274/K633]
在馆
