首页 所有分类 书籍/杂志/报纸 科学技术类原版书
Development The and C... Art 9783642058806 Inductive Coq Interactive 4周达 Program Calculus Theorem Proving
Development The and C... Art 9783642058806 Inductive Coq Interactive 4周达 Program Calculus Theorem Proving
所 在 地：江苏 苏州 累计销量：0 件
店铺掌柜：  澜瑞图书专营店 
商品标签：TheoremArtInductiveProvingTheDevelopment4周达andInteractiveC...CalculusCoqProgram9783642058806
￥1071 ￥1071
立即购买
相关推荐
正版 全译白话文解读 涉及中国古代自然科学工艺技术科技百科全书国学经典 沈括原著古典文学文白对照版 科普类书籍 梦溪笔谈原版

正版 全译白话文解读 涉及中国古代自然科学工艺技术科技百科全书国学经典 沈括原著古典文学文白对照版 科普类书籍 梦溪笔谈原版

折后价 ￥ 18.8
已售 0
Meyer 刘忆 包豪斯实验住宅 Adolf 阿道夫·梅耶 技术类原版 号角屋 自然科学 科普读物 书专业科技 美 译 著

Meyer 刘忆 包豪斯实验住宅 Adolf 阿道夫·梅耶 技术类原版 号角屋 自然科学 科普读物 书专业科技 美 译 著

折后价 ￥ 19.05
已售 0
图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

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

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

折后价 ￥ 112
已售 0
图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

折后价 ￥ 33.82
已售 0
科学技术类原版 杂志 含港台 进口原版 书 报纸 框架与实践陈辉中国经济9787513656221书籍 监管科技 全新正版

科学技术类原版 杂志 含港台 进口原版 书 报纸 框架与实践陈辉中国经济9787513656221书籍 监管科技 全新正版

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

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

折后价 ￥ 234.08
已售 0
杂志 社书籍 吕律谱华中科技大学出版 正版 图书手绘室内快题设计100例张姣艳 书 杜健 科学技术类原版 进口原版 报纸 含港台

杂志 社书籍 吕律谱华中科技大学出版 正版 图书手绘室内快题设计100例张姣艳 书 杜健 科学技术类原版 进口原版 报纸 含港台

折后价 ￥ 47.6
已售 0
科学技术类原版 杂志 正版 含港台 进口原版 书 报纸 社书籍 乡村设计导则DeweyThorbeck中国建筑工业出版 图书建筑与农业

科学技术类原版 杂志 正版 含港台 进口原版 书 报纸 社书籍 乡村设计导则DeweyThorbeck中国建筑工业出版 图书建筑与农业

折后价 ￥ 42.2
已售 0
陈小兵博士主编 兵苏科学技术出版 面对癌症：不恐慌不盲从 书 中国抗癌协会科普系列丛书 入选 社漫画类原版

陈小兵博士主编 兵苏科学技术出版 面对癌症：不恐慌不盲从 书 中国抗癌协会科普系列丛书 入选 社漫画类原版

折后价 ￥ 58
已售 0
中国抗癌协会科普系列丛书 正版 社漫画类原版 入选 兵苏科学技术出版 图书面对癌症：不恐慌不盲从 陈小兵博士主编 书

中国抗癌协会科普系列丛书 正版 社漫画类原版 入选 兵苏科学技术出版 图书面对癌症：不恐慌不盲从 陈小兵博士主编 书

折后价 ￥ 40
已售 0
旧书 黑龙江科学技术出 正版 东北菜 生活菜谱类书籍 1997年原版

旧书 黑龙江科学技术出 正版 东北菜 生活菜谱类书籍 1997年原版

折后价 ￥ 35.99
已售 0
图书标志设计 进口原版 杂志 田志梅 正版 夏琳华中科技大学出版 社书籍 书 科学技术类原版 马志洁 含港台 报纸

图书标志设计 进口原版 杂志 田志梅 正版 夏琳华中科技大学出版 社书籍 书 科学技术类原版 马志洁 含港台 报纸

折后价 ￥ 46.1
已售 0
书纸质书籍 报纸 正版 科学技术类原版 书 含港台 进口原版 杂志 社书籍 图书移动通信技术原理与实践胡国华华中科技大学出版

书纸质书籍 报纸 正版 科学技术类原版 书 含港台 进口原版 杂志 社书籍 图书移动通信技术原理与实践胡国华华中科技大学出版

折后价 ￥ 46.9
已售 0
杂志 社书籍 主编中国科学技术大学出版 正版 图书网络信息采集与编辑范生万 书 张磊 漫画类原版 进口原版 报纸 含港台

杂志 社书籍 主编中国科学技术大学出版 正版 图书网络信息采集与编辑范生万 书 张磊 漫画类原版 进口原版 报纸 含港台

折后价 ￥ 26.9
已售 0