欢迎加入我爱买系列
我爱买
  • 搜淘宝
  • 搜京东
微信扫一扫

关注微信公众号
查券更方便


【4周达】Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach [9783642069420]
【4周达】Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach [9783642069420]
1519.05元¥1599预计返¥ 7.1879.95元券
活动结束时间:12-09 19:59 累计销量 :

手机淘宝扫码领券购买

  • 商品详情
  • 特别推荐