|
000
|
01120nam0 22003011 450
|
|
001
|
0121092624
|
|
005
|
20170821092624.0
|
|
010
|
|
@a978-7-121-27295-0@dCNY69.00
|
|
100
|
|
@a20160425d2016 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a模型检测@f(美)Edmund M.Clarke Jr., (美)Orna Grumberg, (美)Doron A.Peled著@g李刚, 宋雨译@zeng
|
|
210
|
|
@a北京@c电子工业出版社@d2016.01
|
|
215
|
|
@a11,223页@d24cm
|
|
305
|
|
@aMIT Press授权出版
|
|
330
|
|
@a本书共18章, 主要内容包括：系统建模、时序逻辑、模型检测、二叉判定图、符号模型检测、实际中的模型检测、模型检测和自动机理论、结构间的等价性和拟序、组合推理、对称性、有限状态系统的无限簇等。
|
|
510
|
1
|
@aModel checking@zeng
|
|
606
|
0
|
@a自动检测系统
|
|
690
|
|
@aTP274@v5
|
|
701
|
0
|
@c(美)@a克拉克@Ake la ke@c(Clarke Jr., Edmund M.)@4著
|
|
701
|
0
|
@c(美)@a格伦贝格@Age lun bei ge@c(Grumberg, Orna)@4著
|
|
701
|
0
|
@c(以)@a佩莱德@Apei lai de@c(Peled, Doron A.)@4著
|
|
702
|
0
|
@a李刚@Ali gang@4译
|
|
702
|
0
|
@a宋雨@Asong yu@4译
|
|
801
|
0
|
@aCN@bBJJX@c20170821
|
|
905
|
|
@dTP274@e86@f3
|
|
|
|
|
| |
| 模型检测/(美)Edmund M.Clarke Jr., (美)Orna Grumberg, (美)Doron A.Peled著/李刚, 宋雨译.-北京：电子工业出版社，2016.01 |
| 11,223页；24cm |
| |
| |
| ISBN 978-7-121-27295-0：CNY69.00 |
| 本书共18章, 主要内容包括：系统建模、时序逻辑、模型检测、二叉判定图、符号模型检测、实际中的模型检测、模型检测和自动机理论、结构间的等价性和拟序、组合推理、对称性、有限状态系统的无限簇等。 |
| ● |
正题名：模型检测
索取号：TP274/86
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
0900649
|
209006494
|
十四楼书库/14E11A0403/
[索取号:TP274/86]
|
在馆
|
架位导航
|
|
2
|
0900650
|
209006500
|
十四楼书库/14E10B0702/
[索取号:TP274/86]
|
在馆
|
架位导航
|
|
3
|
0900651
|
209006519
|
十四楼书库/14E11A0403/
[索取号:TP274/86]
|
在馆
|
架位导航
|
