Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Concrete Semantics Concrete Semantics

    Concrete Semantics

    Tobias Nipkow
    Springer, Springer
    15.12.2014

    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It ...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 85,59 €

    Jetzt 80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Concrete Semantics Concrete Semantics

    Concrete Semantics

    Tobias Nipkow
    Springer, Springer
    10.09.2016

    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 60,98 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Henk Barendregt
    Springer, Springer
    20.05.1994

    This volume contains thoroughly refereed and revised full papers selected from the presentations ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Higher-Order Algebra, Logic, and Term Rewriting Higher-Order Algebra, Logic, and Term Rewriting

    Higher-Order Algebra, Logic, and Term Rewriting

    Jan Heering
    Springer, Springer Vieweg
    28.07.1994

    This volume contains the final revised versions of the best papers presented at the First Interna...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Isabelle/HOL Isabelle/HOL

    Isabelle/HOL

    Tobias Nipkow
    Springer, Springer
    03.04.2002

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...

    Taschenbuch
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Rewriting Techniques and Applications Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Tobias Nipkow
    Springer, Springer
    11.03.1998

    This book constitutes the refereed proceedings of the 9th International Conference on Rewriting T...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Stefan Berghofer
    Springer, Springer
    04.08.2009

    This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Pr...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Automated Reasoning Automated Reasoning

    Automated Reasoning

    Rajeev Gore
    Springer, Springer
    06.06.2001

    The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into va...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. FM 2006: Formal Methods FM 2006: Formal Methods

    FM 2006: Formal Methods

    Jayadev Misra
    Springer, Berlin, Springer

    This book presents the refereed proceedings of the 14th International Symposium on Formal Methods...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 112,34 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1