gerwin klein

Grid   List

  1. Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...
    53,49 €
    Alle Preise inkl. MwSt
  2. Ebook
    Sofort lieferbar
    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties a...
    53,49 €
    Alle Preise inkl. MwSt
  3. Buch
    Bezug 11-15
    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove propertie...
    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Taschenbuch
    Bezug 11-15
    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove propertie...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
<%--for search--%>