Search - List of Books by Lawrence C. Paulson

Total Books: 6
Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 - Isabelle/hol a Proof Assistant for Higher-order Logic [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9783540433767
ISBN-10: 3540433767
Genres: Computers & Technology, Reference, Science & Math, Medical Books
  ?

ML for the Working Programmer
1996 - Ml for the Working Programmer (Paperback)Paperback, Hardcover
ISBN-13: 9780521565431
ISBN-10: 052156543X
Genre: Computers & Technology
  ?

Isabelle A Generic Theorem Prover
1994 - Isabelle a Generic Theorem Prover [Lecture Notes in Computer Science] (Paperback)Paperback
ISBN-13: 9783540582441
ISBN-10: 3540582444
  ?

1993 - Ml for the Working Programmer [Cambridge Computer Science Texts] (Paperback)Paperback, Hardcover
ML for the Working Programmer
1991 - Ml for the Working Programmer (Hardcover)Paperback, Hardcover
ISBN-13: 9780521390224
ISBN-10: 0521390222
Genres: Computers & Technology, Reference, Science & Math
  ?

Isabelle A Generic Theorem Prover
Isabelle a Generic Theorem Prover [Lecture Notes in Computer Science] (Paperback)Paperback
ISBN-13: 9780387582443
ISBN-10: 0387582444
Genre: Computers & Technology
  ?