全新正版图书模型检测量子系统：原理与算法应明生机械工业出版社9787111727941

正版图书保证质量七天无理由退货让您购物无忧

79.2 8.0折 99 全新

库存32件

北京海淀

认证卖家担保交易快速发货售后保障

作者应明生，冯元著

出版社机械工业出版社

ISBN9787111727941

出版时间2023-06

版次1

装帧平装

开本16开

定价99元

货号R_12958281

上书时间2024-01-21

已实名已认证进店收藏店铺

商品描述: 本书系统且全面地梳理了模型检测量子系统的原理以及基于这些原理的算法，涵盖作者相关论文中的重要研究成果。本书讲解如何应用模型检测技术来验证量子工程系统的正确性、性和可靠性含步骤详尽的算法以及丰富的示例和练中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，后指明该领域的发展方向。<br />

— 没有更多了 —

全新正版图书 模型检测量子系统：原理与算法应明生机械工业出版社9787111727941