*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Isabelle/HOL
    Isabelle/HOL
    Tobias Nipkow
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Isabelle
    Isabelle
    Lawrence C. Paulson
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logic and Computation
    Logic and Computation
    Lawrence C. Paulson
    Cambridge University Press
    Taschenbuch
    BOD - 5 Tage

    This book is concerned with techniques for formal theorem-proving, with particular reference to C...

    92,10 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. First-Class Times
    First-Class Times
    Lawrence Paulson
    Booklocker.com, Inc.
    Taschenbuch
    BOD - 5 Tage

    'The best education,' the admissions brochure declared, 'is the confrontation of two first-class ...

    32,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. ML for the Working Programmer
    ML for the Working Programmer
    Lawrence C. Paulson
    Cambridge University Press
    Taschenbuch
    BOD - 5 Tage

    The new edition of this successful and established textbook retains its two original intentions o...

    123,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1