*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Logic and Computation
    Logic and Computation
    Lawrence C. Paulson
    Cambridge University Press
    Taschenbuch
    Print on Demand

    Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...

    90,75 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. First-Class Times
    First-Class Times
    Lawrence Paulson
    Booklocker.com, Inc.
    Taschenbuch
    Print on Demand

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

    31,52 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. ML for the Working Programmer
    ML for the Working Programmer
    Lawrence C. Paulson
    Cambridge University Press
    Taschenbuch
    Print on Demand

    This new edition of a successful text treats modules in more depth, and covers the revision of ML...

    104,45 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Isabelle/HOL
    Isabelle/HOL
    Tobias Nipkow
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Isabelle
    Isabelle
    Lawrence C. Paulson
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

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