*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Applied Semantics
    Applied Semantics
    Gilles Barthe
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book is based on material presented at the international summer school on Applied Semantics ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Category Theory and Computer Science
    Category Theory and Computer Science
    David H. Pitt
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Coherence and valid isomorphism in closed categories applications of proof theory to category the...

    50,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Types for Proofs and Programs
    Types for Proofs and Programs
    Thierry Coquand
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Specification and Verification of a Formal System for Structurally Recursive Functions.- A Predic...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Types for Proofs and Programs
    Types for Proofs and Programs
    Peter Dybjer
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book presents a strictly refereed collection of revised full papers selected from the papers...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Semantics and Logics of Computation
    Semantics and Logics of Computation
    Andrew M. Pitts
    Cambridge University Press
    Taschenbuch
    BOD - 5 Tage

    The aim of this volume is to present developments in semantics and logics of computation in a way...

    76,06 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1