Detailsuche

Grid  List

  1. The Obama Presidency
    0 %
    The Obama Presidency
    William Crotty
    Lexington Books
    Ebook
    Sofort lieferbar

    A comprehensive analysis of the Obama presidency, its actions in office and its...

    Unser bisheriger Preis:ORGPRICE: 53,81 €

    Jetzt 53,80 €Ebook
    Alle Preise inkl. MwSt
  2. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Matt Kaufmann
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 114,12 €

    Jetzt 114,11 €Ebook
    Alle Preise inkl. MwSt
  3. Isabelle/HOL
    0 %
    Isabelle/HOL
    Tobias Nipkow
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 64,25 €

    Jetzt 64,24 €Ebook
    Alle Preise inkl. MwSt
  4. ML for the Working Programmer
    0 %
    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...

    Unser bisheriger Preis:ORGPRICE: 83,00 €

    Jetzt 82,99 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Logic and Computation
    0 %
    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...

    Unser bisheriger Preis:ORGPRICE: 71,90 €

    Jetzt 71,89 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. 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 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. 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 ...

    25,00 €Taschenbuch
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Matt Kaufmann
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the papers presented at ITP 2010: the First International ConferenceonIntera...

    Unser bisheriger Preis:ORGPRICE: 112,34 €

    Jetzt 106,98 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1