Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Interactive Theorem Proving Interactive Theorem Proving

    Interactive Theorem Proving

    Sandrine Blazy
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.07.2013

    This book constitutes the refereed proceedings of the 4th International Conference on Interactive...

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

    Types for Proofs and Programs

    Christine Paulin-Mohring
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.10.1998

    This book constitutes the thoroughly revised post-workshop proceedings of the first annual worksh...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Mathematics of Program Construction Mathematics of Program Construction

    Mathematics of Program Construction

    Christine Paulin-Mohring
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    04.07.2008

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

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

    Types for Proofs and Programs

    Jean-Christophe Filliatre
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    The 17 revised full papers presented here cover all current issues of formal reasoning and comput...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1