消息首页搜索举报

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

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

70.3 7.1折 99 全新

库存33件

北京海淀

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

作者[中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)

出版社机械工业出版社

ISBN9787111727941

出版时间2022-06

版次1

装帧平装

开本16开

定价99元

货号R_12958281

上书时间2023-07-07

籍利书店

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

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

最新上架

全新正版图书 0~3岁佳的人生开端中国宝宝早期教育和潜能开发指南.正常儿卷鲍秀兰等中国妇女出版社9787512723122

全新正版图书 0~3岁佳的人生开端中国宝宝早期教育和潜能开发指南.正常儿卷鲍秀兰等中国妇女出版社9787512723122 ¥45.80

全新正版图书像爸爸那样勇敢未知明天出版社有限公司9787570821167

全新正版图书像爸爸那样勇敢未知明天出版社有限公司9787570821167 ¥25.30

全新正版图书青少年管乐队曲集-基础(2)(双簧管)约翰·埃德蒙森上海音乐出版社9787552325447

全新正版图书青少年管乐队曲集-基础(2)(双簧管)约翰·埃德蒙森上海音乐出版社9787552325447 ¥26.70

全新正版图书全大数据智能化管理与服务曾子明武汉大学出版社9787307229044

全新正版图书全大数据智能化管理与服务曾子明武汉大学出版社9787307229044 ¥70.30

全新正版图书高速公路病害处治典型案例于群力人民交通出版社9787114189623

全新正版图书高速公路病害处治典型案例于群力人民交通出版社9787114189623 ¥42.00

全新正版图书新时代工作制胜的“桥”和“船”叶海源党校出版社9787503573811

全新正版图书新时代工作制胜的“桥”和“船”叶海源党校出版社9787503573811 ¥58.40

全新正版图书社会动力论(修订版)梁渤涛广东经济出版社9787545488128

全新正版图书社会动力论(修订版)梁渤涛广东经济出版社9787545488128 ¥56.00

全新正版图书 22年诊疗报告派读宠物行业大数据平台中国农业出版社9787109307315

全新正版图书 22年诊疗报告派读宠物行业大数据平台中国农业出版社9787109307315 ¥115.20

全新正版图书审美现代性视域中的“85新潮美术运动”李娟中国社会科学出版社9787522711775

全新正版图书审美现代性视域中的“85新潮美术运动”李娟中国社会科学出版社9787522711775 ¥68.40

商品详情

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

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

— 没有更多了 —

店铺评价

消息首页搜索

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

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

暂时不用

打开孔网APP