首页 所有分类 书籍/杂志/报纸 科学技术类原版书 商品详情
依赖类型介绍 Dependent Idris Proofs Encoding 海外直订Introduction Types 在类型中编 with Program
依赖类型介绍 Dependent Idris Proofs Encoding 海外直订Introduction Types 在类型中编 with Program
所 在 地：广东 佛山 累计销量：0 件
店铺掌柜：  中华商务图书专营店 
商品标签：Types在类型中编ProofsIdrisDependentwithEncodingProgram
￥296 ￥296.00
立即购买
商品详情
相关推荐
互联网产品交互设计 让用户养成使用习惯 英文原版 Hooked上瘾 上瘾模型 四大产品逻辑 预售英文原版 进口科学技术类书籍

互联网产品交互设计 让用户养成使用习惯 英文原版 Hooked上瘾 上瘾模型 四大产品逻辑 预售英文原版 进口科学技术类书籍

折后价 ￥ 81
已售 0
Hooked 英文版 四大产品逻辑 进口科学技术类书籍 让用户养成使用习惯 精装 英文原版 上瘾模型 上瘾 英文书 互联网产品交互设计

Hooked 英文版 四大产品逻辑 进口科学技术类书籍 让用户养成使用习惯 精装 英文原版 上瘾模型 上瘾 英文书 互联网产品交互设计

折后价 ￥ 112
已售 0
Muse缪斯蟋蟀童书英文原版 14岁自然科学技术1年共6期青少年阅读儿童科普类送音频英语学习课外书 杂志期刊2025年小学英语9

Muse缪斯蟋蟀童书英文原版 14岁自然科学技术1年共6期青少年阅读儿童科普类送音频英语学习课外书 杂志期刊2025年小学英语9

折后价 ￥ 45
已售 0
WFTX脾胃论入门导读张再康9787521403169中国医药科技进口原版 含港台 书 科学技术类原版

WFTX脾胃论入门导读张再康9787521403169中国医药科技进口原版 含港台 书 科学技术类原版

折后价 ￥ 45.77
已售 0
社进口原版 高等量子力学习题解答井孝功 含港台 现货 书 郑仰东编著9787560358680哈尔滨工业大学出版 科学技术类原版

社进口原版 高等量子力学习题解答井孝功 含港台 现货 书 郑仰东编著9787560358680哈尔滨工业大学出版 科学技术类原版

折后价 ￥ 27.3
已售 0
社9787030570413进口原版 等著 含港台 Guoqiao 书 科学出版 青蒿素类抗疟药Li 科学技术类原版

社9787030570413进口原版 等著 含港台 Guoqiao 书 科学出版 青蒿素类抗疟药Li 科学技术类原版

折后价 ￥ 234.08
已售 0
科学技术类原版 水暖电施工问题快速处理 福建科技出版 书 社 含港台 现货 张汤勇 新华仓直发 9787533558291 进口原版

科学技术类原版 水暖电施工问题快速处理 福建科技出版 书 社 含港台 现货 张汤勇 新华仓直发 9787533558291 进口原版

折后价 ￥ 31.1
已售 0
社进口原版 含港台 书 水暖电施工问题快速处理张汤勇9787533558291福建科技出版 科学技术类原版 现货

社进口原版 含港台 书 水暖电施工问题快速处理张汤勇9787533558291福建科技出版 科学技术类原版 现货

折后价 ￥ 31.3
已售 0
艺术类原版 时间 社进口原版 读画 书 现货 含港台 徐旭著9787553799230江苏凤凰科学技术出版

艺术类原版 时间 社进口原版 读画 书 现货 含港台 徐旭著9787553799230江苏凤凰科学技术出版

折后价 ￥ 46.3
已售 0
现货 时间 艺术类原版 含港台 江苏凤凰科学技术出版 9787553799230 读画 徐旭著 进口原版 新华仓直发 社 书

现货 时间 艺术类原版 含港台 江苏凤凰科学技术出版 9787553799230 读画 徐旭著 进口原版 新华仓直发 社 书

折后价 ￥ 45.6
已售 0
含港台 书 正版 科学技术类原版 社进口原版 附视频教程营养师教你做断乳食食谱菜谱孙晶丹福建科技出版

含港台 书 正版 科学技术类原版 社进口原版 附视频教程营养师教你做断乳食食谱菜谱孙晶丹福建科技出版

折后价 ￥ 17
已售 0
含港台 书 正版 科学技术类原版 社进口原版 附视频教程营养师教你做断乳食食谱菜谱孙晶丹福建科技出版

含港台 书 正版 科学技术类原版 社进口原版 附视频教程营养师教你做断乳食食谱菜谱孙晶丹福建科技出版

折后价 ￥ 14
已售 0
社进口原版 太阳电池光吸收层铜基薄膜 含港台 现货 书 制备技术研究王延来著9787568411004江苏大学出版 科学技术类原版

社进口原版 太阳电池光吸收层铜基薄膜 含港台 现货 书 制备技术研究王延来著9787568411004江苏大学出版 科学技术类原版

折后价 ￥ 15.2
已售 0
含港台 书 正版 科学技术类原版 社进口原版 油气光学实验赵昆等科学出版

含港台 书 正版 科学技术类原版 社进口原版 油气光学实验赵昆等科学出版

折后价 ￥ 106.9
已售 0
四大产品逻辑 英文原版 上瘾模型 互联网产品交互设计 让用户养成使用习惯 进口科学技术类书籍 Hooked上瘾

四大产品逻辑 英文原版 上瘾模型 互联网产品交互设计 让用户养成使用习惯 进口科学技术类书籍 Hooked上瘾

折后价 ￥ 117
已售 0