Lawrence C. Paulson | Bookhype

Apr 3, 2002

Cover of Isabelle/Hol

Isabelle/Hol (Lecture Notes in Computer Science, #2283)

Jul 28, 1994

Cover of Isabelle

Isabelle (Lecture Notes in Chemistry, #828) (Lecture Notes in Computer Science, #828)

Jul 25, 1991

Cover of ML for the Working Programmer

ML for the Working Programmer

Oct 15, 1987

Cover of Logic and Computation

Logic and Computation (Cambridge Tracts in Theoretical Computer Science)