Lawrence C. Paulson
Popular items by Lawrence C. Paulson
View all offers-
ML for the Working Programmer, 2nd Edition
L. C. Paulson
Item prices starting from
View 52 offersUS$ 5.00
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Paulson, Lawrence C.
Item prices starting from
View 18 offersUS$ 48.59
-
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science, 828)
Paulson, Lawrence C.
Item prices starting from
View 17 offersUS$ 60.88
