Lawrence C. Paulson
Beliebte Artikel von Lawrence C. Paulson
Alle Angebote anzeigen-
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Paulson, Lawrence C.
Artikelpreise ab
18 Angebote anzeigenEUR 42,18
-
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science): 828
Paulson, Lawrence C.
Artikelpreise ab
17 Angebote anzeigenEUR 54,44
