同类推荐
-
-
Premiere Pro 2024实用教程
-
¥59.90
-
-
Premiere Pro 2024实用教程
-
¥59.90
-
-
Premiere Pro 2024实用教程
-
¥59.90
-
-
快速上手豆包工作:让AI自动替你干完活
-
¥59.00
-
-
快速上手豆包工作:让AI自动替你干完活
-
¥59.00
-
-
快速上手豆包工作:让AI自动替你干完活
-
¥59.00
-
-
豆包工作AI提效实战
-
¥49.80
-
-
AI+Excel数据之道:3张表完成数据分析
-
¥79.00
-
-
AI+Excel数据之道:3张表完成数据分析
-
¥79.00
-
-
AI+Excel数据之道:3张表完成数据分析
-
¥79.00
|
|
图书信息
|
|
|
|
模型检验原理
|
| ISBN： | 9787302577355 |
定价： | ￥158.00 |
| 作者： | (德)克里斯特尔·拜耳(Christel Baier)，(德)乔斯特-皮尔特·卡托恩(Joost-Pieter Katoen)著 |
出版社： | 清华大学出版社 |
| 出版时间： | 2021年11月 |
开本： | 26cm |
| 页数： | 12,692页 |
中图法： | TP393.021 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
342
|
|
2026-10-12
|
图书简介 | | 本书全面、系统、详细地介绍了模型检验的逻辑和理论基础、原理、验证工具的使用方法以及软件和硬件系统的建模与验证方法，主要内容包括系统验证、并发系统的建模、线性时间性质、正则性质、线性时序逻辑、计算树逻辑、等价和抽象、偏序约简、时控自动机和概率系统等。 |
|