书目信息 |
| 题名： |
模型检验原理
|
|
| 作者： | 拜耳 ， 卡托恩 著 ；李师广 ， 樊丽丽 ， 赵光峰 译 | |
| 分册： | ||
| 出版信息： | 北京 清华大学出版社 2021.11 |
|
| 页数： | XII, 692页 | |
| 开本： | 26cm | |
| 丛书名： | 清华计算机图书译丛 | |
| 单 册： | ||
| 中图分类： | TP393.021 | |
| 科图分类： | ||
| 主题词： | 计算机网络--ji suan ji wang luo--网络模型--检验 | |
| 电子资源： | ||
| ISBN： | 978-7-302-57735-5 | |
| 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自科库 115排1列4层/ [索取号:TP393.021/B170] | 在馆 |