📖 书目详情
模型检测量子系统—原理与算法—principles and algorithms
| 著者 | 应明生，冯元著,李绿周，李冠中，何键浩译 |
| ISBN | 9787111727941 |
| 中图分类 | O413,TP273 物理学 |
| 学科分类 | 理学 |
| 版次 | 第1版 |
| 出版社 | 机械工业出版社 |
| 丛书名 | 计算机科学丛书 |
| 出版年 | 2023 |
| 页码 | 218页 |
| 价格 | ¥99.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
9.5/10
|
📝 内容简介
本书首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购