Lawrence C. Paulson
Articles populaires de Lawrence C. Paulson
Afficher toutes les offres-
ML for the Working Programmer
Paulson, Larry
Prix des articles à partir de
Afficher les 53 offresEUR 4,46
-
Logic and Computation: Interactive Proof with Cambridge LCF
Prix des articles à partir de
Afficher les 19 offresEUR 42,26
-
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)
Paulson, Lawrence C.
Prix des articles à partir de
Afficher les 18 offresEUR 54,26
