书目详细信息
： 模型检验原理
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-57735-5:CNY158.00 |
|---|---|
| ISBN/价格： | 978-7-302-57735-5:CNY158.00 |
| 题名： | 模型检验原理 |
| 作品语种： | chi eng |
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 出版国别： | CN 110000 |
| 题名责任者项： | 模型检验原理/.(英)克里斯特拉·拜耳 (Christel Baier)，(英)乔斯特-彼得·卡托恩(Joost-Pieter Katoen)著/.赵光峰，李师广，樊丽丽等译 |
| 题名责任者项： | 模型检验原理/.(英)克里斯特拉·拜耳 (Christel Baier)，(英)乔斯特-彼得·卡托恩(Joost-Pieter Katoen)著/.赵光峰，李师广，樊丽丽等译 |
| 出版发行项： | 北京:,清华大学出版社:,2021 |
| 出版发行项： | 北京:,清华大学出版社:,2021 |
| 载体形态项： | 12,692页:;+图:;+26cm |
| 载体形态项： | 12,692页:;+图:;+26cm |
| 丛编项： | 清华计算机图书译丛 |
| 丛编项： | 清华计算机图书译丛 |
| 提要文摘： | 本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径。 |
| 提要文摘： | 本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径。 |
| 并列题名： | Principles of model checking eng |
| 并列题名： | Principles of model checking eng |
| 题名主题： | 计算机网络 网络模型 检验 |
| 题名主题： | 计算机网络 网络模型 检验 |
| 中图分类： | TP393 |
| 中图分类： | TP393 |
| 个人名称等同： | 拜耳 (英) (Baier, Christel) 著 |
| 个人名称等同： | 卡托恩 (英) (Katoen, Joost-Pieter) 著 |
| 个人名称等同： | 拜耳 (英) (Baier, Christel) 著 |
| 个人名称等同： | 卡托恩 (英) (Katoen, Joost-Pieter) 著 |
| 个人名称次要： | 赵光峰 译 |
| 个人名称次要： | 李师广 译 |
| 个人名称次要： | 樊丽丽 译 |
| 个人名称次要： | 赵光峰 译 |
| 个人名称次要： | 李师广 译 |
| 个人名称次要： | 樊丽丽 译 |
| 记录来源： | CN 布克巴巴 20240825 |
| 记录来源： | CN 布克巴巴 20240825 |