消息首页搜索举报

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

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

69.3 7.0折 99 全新

库存33件

北京丰台

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

作者应明生，冯元著

出版社机械工业出版社

ISBN9787111727941

出版时间2023-06

版次1

装帧平装

开本16开

定价99元

货号R_12958281

上书时间2023-07-22

武汉天卷书店

十七年老店

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

在售商品暂无
平均发货时间 70小时
好评率暂无

最新上架

全新正版图书土地财政与中国宏观济波动梅冬州经济科学出版社9787521849974

全新正版图书土地财政与中国宏观济波动梅冬州经济科学出版社9787521849974 ¥58.50

全新正版图书中国脉翅目昆虫原色图鉴杨定河南科学技术出版社9787572503078

全新正版图书中国脉翅目昆虫原色图鉴杨定河南科学技术出版社9787572503078 ¥568.40

全新正版图书城市大型综合体车位级停车供需特性分析及服务效能提升方法陈峻人民交通出版社股份有限公司9787114193255

全新正版图书城市大型综合体车位级停车供需特性分析及服务效能提升方法陈峻人民交通出版社股份有限公司9787114193255 ¥68.60

全新正版图书错综的视线早期摄影在东亚（1850 年代—1919 年）顾铮上海人民社9787558629174

全新正版图书错综的视线早期摄影在东亚（1850 年代—1919 年）顾铮上海人民社9787558629174 ¥202.60

全新正版图书西部地区城市群协同发展与城市化路径研究丁生喜经济科学出版社9787521850420

全新正版图书西部地区城市群协同发展与城市化路径研究丁生喜经济科学出版社9787521850420 ¥73.40

全新正版图书茶杯里的想象：18世纪中英茶叶贸易与设计文化交流张弛上海人民社9787558623318

全新正版图书茶杯里的想象：18世纪中英茶叶贸易与设计文化交流张弛上海人民社9787558623318 ¥66.60

全新正版图书万籁鸣绘金猴降妖万向平上海人民社9787558627644

全新正版图书万籁鸣绘金猴降妖万向平上海人民社9787558627644 ¥93.80

全新正版图书特殊地质条件下公路隧道灾害防控关键技术研究及应用富志鹏科学出版社9787030775665

全新正版图书特殊地质条件下公路隧道灾害防控关键技术研究及应用富志鹏科学出版社9787030775665 ¥152.60

全新正版图书利津历史人物政协利津县委员会中国文史出版社9787520545235

全新正版图书利津历史人物政协利津县委员会中国文史出版社9787520545235 ¥66.60

商品详情

品相描述：全新: 全新正版

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

— 没有更多了 —

店铺评价

消息首页搜索

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用

暂时不用

打开孔网APP