Der Perlentaucher unter den Buchläden

Genauer suchen ( Treffer)
Filter schließen ( Treffer)

Sie haben nach Paulson, Lawrence C. gesucht

  1. ML for the Working Programmer
    eng
    Lawrence C. Paulson / Larry C. Paulson
    ML for the Working Programmer
    • Cambridge University Press
    • 2009
    • Taschenbuch
    • 500 Seiten
    81,40€

    in Kürze

    This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
  2. Logic and Computation
    eng
    Lawrence C. Paulson
    Logic and Computation
    Interactive Proof with Cambridge Lcf
    • Cambridge University Press
    • 2003
    • Taschenbuch
    • 320 Seiten
    70,30€

    in Kürze

    Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Funct…
  3. Isabelle/HOL
    eng
    Tobias Nipkow / Markus Wenzel …
    Isabelle/HOL
    A Proof Assistant for Higher-Order Logic
    • Springer Berlin Heidelberg
    • 2002
    • Taschenbuch
    • 240 Seiten
    58,84€

    in Kürze

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with …
  4. Isabelle
    eng
    Lawrence C. Paulson
    Isabelle
    A Generic Theorem Prover
    • Springer Berlin Heidelberg
    • 1994
    • Taschenbuch
    • 348 Seiten
    53,49€

    in Kürze

    As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-lo…