豆瓣图书标签: 编程语言理论

综合排序  /  按出版日期排序  /  按评价排序
  • Category Theory for Programmers

    Bartosz Milewski / ImageWrap / 2018-10-21
    9.5 (26人评价)

    Category Theory is one of the most abstract branches of mathematics. It is usu...

  • Type Theory and Formal Proof : An Introduction

    Rob Nederpelt、Herman Geuvers / Cambridge University Press / 2014-10-31 / USB 80.00
    (少于10人评价)

    Type theory is a fast-evolving field at the crossroads of logic, computer scie...

  • Principles of Program Analysis

    Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris / 2010-12 / $ 79.04
    (少于10人评价)

    Program analysis utilizes static techniques for computing reliable information...

  • Principles of Model Checking

    Christel Baier、Joost-Pieter Katoen / The MIT Press / 2008-05-31 / USD 60.00
    8.6 (16人评价)

    Our growing dependence on increasingly complex computer and software systems n...

  • ML程序设计教程

    保罗森 / 柯韦 / 机械工业出版社 / 2005-5 / 45.00元
    8.7 (54人评价)

    本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。   书中含有大量例子,涵盖了排序、矩阵运算、多项...

  • Implementing Functional Languages

    Simon L. Peyton Jones、David R. Lester / Prentice Hall / 1992-8 / USD 45.00
    (少于10人评价)

    This book provides a practical approach to understanding implementations of no...

  • Programming in Martin-Löf's Type Theory : An Introduction

    Bengt Nordstrom、Kent Petersson、Jan M. Smith / Oxford University Press, USA / 1990-7-19 / USD 55.00
    (少于10人评价)

    In recent years, several formalisms for program construction have appeared. On...

  • Model Checking

    Edmund M. Clarke、Orna Grumberg、Doron A. Peled / The MIT Press / 07 January, 2000 / $60.00
    8.6 (18人评价)

    Model checking领域的权威书籍


相关的标签  · · · · · ·



> 浏览全部图书标签