Grid   List

  1. Buch
    Sofort lieferbar

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

    80,18 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    Print on Demand

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

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Taschenbuch
    Print on Demand

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

    52,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1