MARC状态：审校 文献类型：中文图书 浏览次数：94
- 题名/责任者:
- 模型检验原理/(德) 克里斯特尔·拜耳, 乔斯特-皮尔特·卡托恩著 赵光峰, 李师广, 樊丽丽等译
- 出版发行项:
- 北京:清华大学出版社,2021
- ISBN及定价:
- 978-7-302-57735-5/CNY158.00
- 载体形态项:
- xii, 692页:图;26cm
- 丛编项:
- 清华计算机图书译丛
- 个人责任者:
- 拜耳 (Baier, Christel) 著
- 个人责任者:
- 卡托恩 (Katoen, Joost-Pieter) 著
- 个人次要责任者:
- 赵光峰 译
- 个人次要责任者:
- 李师广 译
- 个人次要责任者:
- 樊丽丽 译
- 学科主题:
- 计算机网络-网络模型-检验
- 中图法分类号:
- TP393.021
- 书目附注:
- 有书目 (第656-679页)
- 提要文摘附注:
- 本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法, 同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP393.021/2101 | 60257512 |  临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP393.021/2101 | 60257513 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP393.021/2101 | 72427259 | 自然书库（3F东）
|
可借 | 自然书库（3F东） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架