同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
Java程序设计基础:微课版
-
¥64.80
-
-
Java程序设计基础:微课版
-
¥64.80
-
-
Java程序设计基础:微课版
-
¥64.80
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
Web前端设计与开发
-
¥54.80
-
-
自然语言处理实践:语义理解与信息抽取
-
¥89.00
|
|
图书信息
|
|
|
|
模型检验原理
|
| ISBN： | 9787302577355 |
定价： | ￥158.00 |
| 作者： | (德)克里斯特尔·拜耳(Christel Baier)，(德)乔斯特-皮尔特·卡托恩(Joost-Pieter Katoen)著 |
出版社： | 清华大学出版社 |
| 出版时间： | 2021年11月 |
开本： | 26cm |
| 页数： | 12,692页 |
中图法： | TP393.021 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
176
|
|
2026-06-18
|
图书简介 | | 本书全面、系统、详细地介绍了模型检验的逻辑和理论基础、原理、验证工具的使用方法以及软件和硬件系统的建模与验证方法，主要内容包括系统验证、并发系统的建模、线性时间性质、正则性质、线性时序逻辑、计算树逻辑、等价和抽象、偏序约简、时控自动机和概率系统等。 |
|