书目信息 |
| 题名： |
模型检测
|
|
| 作者： | 克拉克 ， 格伦贝格 ， 佩莱德 著 ；吴尽昭 ， 何安平 ， 高新岩 译 | |
| 分册： | ||
| 出版信息： | 北京 电子工业出版社 2018.11 |
|
| 页数： | 11, 225页 | |
| 开本： | 24cm | |
| 丛书名： | ||
| 单 册： | ||
| 中图分类： | TP274 | |
| 科图分类： | ||
| 主题词： | 自动检测系统--zi dong jian ce xi tong | |
| 电子资源： | ||
| ISBN： | 978-7-121-35274-4 | |
| 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两个流行的模型检测器。 |
| ● |
| 相关链接 |
|
|
|
正题名：模型检测
索取号：TP274/K633
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1424084 | 214240846 | 自科库301/301自科库 42排4列1层/ [索取号:TP274/K633] | 在馆 | |
| 2 | 1424085 | 214240855 | 自科库301/301自科库 99排4列1层/ [索取号:TP274/K633] | 在馆 |