模型检测量子系统：原理与算法
正版图书保证质量 七天无理由退货让您购物无忧
￥ 69.3 7.0折 ￥ 99 全新
库存25件
北京朝阳
认证卖家担保交易快速发货售后保障
作者应明生，冯元著
出版社机械工业出版社
ISBN9787111727941
出版时间2023-06
版次1
装帧平装
开本16开
定价99元
货号R_12958281
上书时间2024-05-07
- 在售商品 暂无
- 平均发货时间 15小时
- 好评率 暂无
![非暴力沟通[珍藏版]](https://www0.kfzimg.com/sw/kfz-cos/kfzimg/baadceaa/e76cf270431e6034_s.jpg)
商品详情
- 品相描述：全新
- 全新正版
- 商品描述
- 本书系统且全面地梳理了模型检测量子系统的原理以及基于这些原理的算法，涵盖作者相关论文中的重要研究成果。本书讲解如何应用模型检测技术来验证量子工程系统的正确性、性和可靠性含步骤详尽的算法以及丰富的示例和练中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，后指明该领域的发展方向。<br />
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价