Idris 依赖类型介绍 Program Proofs Types Encoding 海外直订Introduction with Dependent 在类型中编
商品详情
Idris 依赖类型介绍 Program Proofs Types Encoding 海外直订Introduction with Dependent 在类型中编由“品牌吧商城”根据销量、好评率、价格和信誉进行精挑细选,该商品选自广东 佛山地区的天猫商城,所属主分类“书籍/杂志/报纸”,子分类“科学技术类原版书”折扣价为296元。精挑细选方便买家在浩瀚的商品中更加方便的挑选更好的商品,更潮的商品,更便宜的商品。
相关推荐