|
000
|
01457nam 2200325 450
|
|
001
|
CAL 0120217320300
|
|
010
|
|
@a978-7-302-57735-5@dCNY158.00
|
|
100
|
|
@a20220906d2021 em y0chiy50 ea
|
|
101
|
1
|
@achi@cger
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a模型检验原理@Amo xing jian yan yuan li@f(德) 克里斯特尔·拜耳, 乔斯特-皮尔特·卡托恩著@d= Principles of model checking@fChristel Baier, Joost-Pieter Katoen@g赵光峰, 李师广, 樊丽丽等译@zeng
|
|
210
|
|
@a北京@c清华大学出版社@d2021.11
|
|
215
|
|
@aXII, 692页@c图@d26cm
|
|
225
|
2
|
@a清华计算机图书译丛@Aqing hua ji suan ji tu shu yi cong
|
|
306
|
|
@a由MIT出版社授权出版
|
|
320
|
|
@a有书目 (第656-679页)
|
|
330
|
|
@a本书全面、系统、详细地介绍了模型检验的逻辑和理论基础、原理、验证工具的使用方法以及软件和硬件系统的建模与验证方法, 主要内容包括系统验证、并发系统的建模、线性时间性质、正则性质、线性时序逻辑、计算树逻辑、等价和抽象、偏序约简、时控自动机和概率系统等。
|
|
410
|
0
|
@12001 @a清华计算机图书译丛
|
|
510
|
1
|
@aPrinciples of model checking@zeng
|
|
606
|
0
|
@a计算机网络@Aji suan ji wang luo@x网络模型@x检验
|
|
690
|
|
@aTP393.021@v5
|
|
701
|
1
|
@a拜耳@Abai er@g(Baier, Christel)@4著
|
|
701
|
1
|
@a卡托恩@Aka tuo en@g(Katoen, Joost-Pieter)@4著
|
|
702
|
0
|
@a李师广@Ali shi guang@4译
|
|
702
|
0
|
@a樊丽丽@Afan li li@4译
|
|
702
|
0
|
@a赵光峰@Azhao guang feng@4译
|
|
801
|
0
|
@aCN@c20220906
|
|
905
|
|
@a河南城建学院图书馆@dTP393.021@eB170@f1
|
|
|
|
|
| |
| 模型检验原理/(德) 克里斯特尔·拜耳, 乔斯特-皮尔特·卡托恩著= Principles of model checking/Christel Baier, Joost-Pieter Katoen/赵光峰, 李师广, 樊丽丽等译.-北京：清华大学出版社，2021.11 |
| XII, 692页：图；26cm.-(清华计算机图书译丛) |
| |
| |
| ISBN 978-7-302-57735-5：CNY158.00 |
| 本书全面、系统、详细地介绍了模型检验的逻辑和理论基础、原理、验证工具的使用方法以及软件和硬件系统的建模与验证方法, 主要内容包括系统验证、并发系统的建模、线性时间性质、正则性质、线性时序逻辑、计算树逻辑、等价和抽象、偏序约简、时控自动机和概率系统等。 |
| ● |
正题名：模型检验原理
索取号：TP393.021/B170
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1565013
|
215650132
|
自科库301/301自科库 120排1列4层/
[索取号:TP393.021/B170]
|
在馆
|
|
