类型和程序设计语言（皮尔斯）（电子工业出版社）

  • 书名：类型和程序设计语言
  • 出版社：电子工业出版社
  • 作者：皮尔斯
  • 出版年份：0
  • 电子书格式： pdf
  • 简介：《类型和程序设计语言》是Benjamin C. Pierce教授的经典之作，由电子工业出版社出版。这本书深入探讨了类型系统在编程语言中的应用，涵盖了类型理论、类型检查、类型推断等核心概念，适合计算机科学专业学生、程序员以及对编程语言设计有兴趣的读者。多考网(duokao)提供此书免费下载，助力您的编程学习和研究。
  • ISBN：
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。