您的位置:91购物  >  文体  >  海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一

    海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一 - 中华商务图书专营店

    券后价¥508领优惠券¥100

    原价:608元8.36折距离结束:

    去天猫抢购>>收藏

    扫码有惊喜!

    扫码进入手机查看
    • 宝贝详情

    HOT同类热卖

      L
      o
      a
      d
      i
      n
      g
      .
      .
      .

    91购物  桂ICP备2023004367号  Copyright © 2010 - 2019 https://www.91gouwu.com/ All Rights Reserved