Grid  List

  1. 15.12.2014

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

    Gebunden
    80,24 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 02.01.2017

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

    Gebunden
    89,00 €
    Lieferbar in 5-7 Tagen
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 10.09.2016

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. 01.08.2014

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

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