网上购物 货比三家
女用仿真 戏曲 惠氏 复印机 牛仔裤 等离子电视 明治 国产表店 数码伴侣 男根套环 充气娃娃 女鞋 电影/戏剧 电池/充电器 扫描仪/扫描枪 液晶电视

全部商品分类

热搜：
保湿加湿器诺基亚
您现在的位置：快乐比价网 > 图书 > 计算机与网络 > 计算机/网络 > 商品详情

Types for Proofs and Programs

分享到：
Types for Proofs and Programs

最 低 价：￥720.00

定 价：￥720.00

作 者：Thierry Coquand 著

出 版 社：Springer-Verlag New York, LLC

出版时间：2001 年2月

I S B N：9783540415176

  • 价格比较
  • 商品详情
  • 商品评论(0条)
  • Types for Proofs and Programs
  • 送货上门
    • 价格
    720.00元

    商品详情

    编辑推荐

    内容简介

    作者简介

    目录

    商品评论（0条）

    暂无评论！

    相关新品推荐

    浏览更多同类商品

    您的浏览历史

    loading 内容加载中，请稍后...
    免责声明:

    本网站为购物搜索引擎,只提供各网站商品及服务信息链接,以商家实际信息为准!

    关于比价网 | 合作网站 | 免责声明 | 联系我们 (京ICP备13007221号-2)
    © 2008-2012 Bijia123.cn. All rights reserved.