欢迎加入阳光淘客联盟
阳光淘客
  • 搜淘宝
  • 搜京东
  • 搜拼多多
微信扫一扫

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


【4周达】Introduction to Dependent Types with Idris : Encoding Program Proofs in Types [9781484292587]
【4周达】Introduction to Dependent Types with Idris : Encoding Program Proofs in Types [9781484292587]
297元¥34750元券
活动结束时间:10-24 23:59 累计销量 :
  • 商品详情