| ISBN/价格： | 978-7-111-72794-1:CNY99.00 |
|---|
| 作品语种： | chi eng |
|---|
| 出版国别： | CN 110000 |
|---|
| 题名责任者项： | 模型检测量子系统/.应明生，冯元著/.李绿周，李冠中，何键浩译 |
|---|
| 出版发行项： | 北京:,机械工业出版社:,2023.06 |
|---|
| 载体形态项： | 218页:;+26cm |
|---|
| 丛编项： | 计算机科学丛书 |
|---|
| 一般附注： | CAMBRIDGE |
|---|
| 提要文摘： | 本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。 |
|---|
| 并列题名： | Model checking quantum systems eng |
|---|
| 题名主题： | 量子 自动检测系统 |
|---|
| 中图分类： | O413 |
|---|
| 中图分类： | TP274 |
|---|
| 个人名称等同： | 应明生 著 |
|---|
| 个人名称等同： | 冯元 著 |
|---|
| 个人名称次要： | 李绿周 译 |
|---|
| 个人名称次要： | 李冠中 译 |
|---|
| 个人名称次要： | 何键浩 译 |
|---|
| 记录来源： | CN 浙江省新华书店集团公司 20230703 |
|---|