Types for Proofs and Programs 1
bokomslag Types for Proofs and Programs
Data & IT

Types for Proofs and Programs

Thorsten Altenkirch • Conor McBride

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 272 sidor
  • 2007
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.
  • Författare: Thorsten Altenkirch, Conor McBride
  • Illustratör: Bibliographie
  • Format: Pocket/Paperback
  • ISBN: 9783540744634
  • Språk: Engelska
  • Antal sidor: 272
  • Utgivningsdatum: 2007-10-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag A List of Successes That Can Change the World

    A List of Successes That Can Change t...

    Sam Lindley, Conor McBride, Phil Trinder, Don Sannella

    Pocket

    759:-
  2. bokomslag Types for Proofs and Programs

    Types for Proofs and Programs

    Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

    Pocket

    759:-
  3. bokomslag Conceptual Programming with Python

    Conceptual Programming with Python

    Isaac Triguero Thorsten Altenkirch

    Pocket

    309:-
  4. bokomslag The Judicial Mind

    The Judicial Mind

    Conor McCormick Brice Dickson

    Pocket

    869:-
  5. bokomslag The Judicial Mind

    The Judicial Mind

    Conor McCormick Brice Dickson

    Inbunden

    1799:-
  6. bokomslag The OECD and Transnational Governance

    The OECD and Transnational Governance

    Stephen McBride Rianne Mahon

    Inbunden

    1659:-
  7. bokomslag Rethinking Public Relations

    Rethinking Public Relations

    Conor McGrath Kevin Moloney

    Inbunden

    3439:-
  8. bokomslag Types for Proofs and Programs

    Types for Proofs and Programs

    Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus

    Pocket

    779:-
  9. bokomslag Assassin's Creed Vol. 1: Trial by Fire

    Assassin's Creed Vol. 1: Trial by Fire

    Conor McCreery Anthony Del Col

    Pocket

    189:-
  10. bokomslag Rethinking Public Relations

    Rethinking Public Relations

    Conor McGrath Kevin Moloney

    Pocket

    879:-

Andra av samma författare

  1. bokomslag Conceptual Programming with Python

    Conceptual Programming with Python

    Isaac Triguero Thorsten Altenkirch

    Pocket

    309:-
  2. bokomslag A List of Successes That Can Change the World

    A List of Successes That Can Change t...

    Sam Lindley, Conor McBride, Phil Trinder, Don Sannella

    Pocket

    759:-