成功加入购物车

去购物车结算 X
孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索
环球外文图书专营店
  • 现货 Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) [9780262044806]
图文详情

现货 Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) [9780262044806]

举报
  • 作者: 
  • 出版社:    MIT Press
  • ISBN:    9780262044806
  • 出版时间: 
  • 装帧:    精装
  • 纸张:    其他
  • 页数:    304页
  • 正文语种:    英语
  • 作者: 
  • 出版社:  MIT Press
  • ISBN:  9780262044806
  • 出版时间: 
  • 装帧:  精装
  • 纸张:  其他
  • 页数:  304页
  • 正文语种:  英语

售价 ￥ 583.00

品相 九五品

优惠 满包邮

优惠 满减券
    运费
    本店暂时无法向该地区发货

    延迟发货说明

    时间：
    说明：

    上书时间2023-03-13

    数量
    库存5件
    立即购买 加入购物车 收藏
    微信扫描下方二维码
    微信扫描打开成功后，点击右上角”...“进行转发

    卖家超过10天未登录

    • 商品详情
    • 店铺评价
    立即购买 加入购物车 收藏
    手机购买
    微信扫码访问
    • 商品分类：
      外文古旧书 > 英文书 > 计算机与互联网
      商品描述：
      A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems...

      配送说明

      ...

      相似商品

      为你推荐

    专题
    数学(931)
    工业技术(945)
    医学专业(929)
    艺术(921)
    农业科学(970)
    人文社科(894)
    本店分类
    农林、水产(17)
    动物医学(8)
    教育(1952)
    政治、国际关系(196)
    哲学、宗教(1534)
    语言、文学(12891)
    心理学(1819)
    文化(2571)
    体育(264)
    社会学(3552)
    历史、地理(182)
    军事(2)
    一般工业技术(4383)
    冶金、金属(133)
    水利工程(90)
    食品工业(417)
    能源、动力、原子能(649)
    矿业、石油、天然气(201)
    交通运输(508)
    建筑工程(2014)
    机械、自动化(272)
    电子电气、通信技术(1168)
    艺术(5295)
    天文、地球科学(1044)
    计算机(2420)
    环境科学(1017)
    化学(2003)
    生物(2968)
    物理(1613)
    航空、航天(211)
    经济管理(5645)
    法律(2623)
    农业科学(944)
    数学(1763)
    医学专业(13581)
    孔网分类
    孔网特色
    图书
    © 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
    关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全
    孔网啦啦啦啦啦纺织女工火锅店第三课

    开播时间：09月02日 10:30

    即将开播，去预约
    直播中，去观看