Detailsuche

Grid  List

  1. Concrete Semantics
    Concrete Semantics
    Gerwin Klein
    Springer International Publishing, Springer International Publishing
    Buch
    Sofort lieferbar

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

    80,24 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Ruben Gamboa
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem ...

    Unser bisheriger Preis:ORGPRICE: 57,68 €

    Jetzt 57,67 €Ebook
    Alle Preise inkl. MwSt
  3. Der spätlatène- und frühkaiserzeitliche Opferplatz auf dem Döttenbichl südlich von Oberammergau
    Der spätlatène- und frühkaiserzeitliche Opferplatz auf dem Döttenbichl südlich von Oberammergau
    Werner Zanier
    Beck
    Buch
    Lieferbar in 5-7 Tagen

    Raeter nutzten den markanten Döttenbichl von etwa 100 v. bis 50 n. Chr. als Opferplatz. Unter den...

    89,00 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Concrete Semantics
    Concrete Semantics
    Gerwin Klein
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Interactive Theorem Proving
    Interactive Theorem Proving
    Ruben Gamboa
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem ...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1