欢迎加入微淘购-公众号：萌虎优品（添加公众号能让你快速找到你想要的各大商电商，商品优惠券及最低价）
微淘购
  • 搜淘宝
  • 搜京东
  • 搜拼多多
今日热搜： 伤口权威新时代鳙鱼虎耳咖喱
微信扫一扫

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


海外直订Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Idris的依赖类型介绍:在类型中编
海外直订Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Idris的依赖类型介绍:在类型中编
281元￥296预计返￥ 0.7615元券
活动结束时间：02-05 19:59 累计销量 ： 件
立即领券复制优惠

手机淘宝扫码领券购买

  • 商品详情
  • 特别推荐