Lawrence C. Paulson
Artículos populares por Lawrence C. Paulson
Ver todas las ofertas-
ML for the Working Programmer
Paulson, Larry
Precios de los artículos a partir de
Ver 52 ofertasEUR 4,47
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Paulson, Lawrence C.
Precios de los artículos a partir de
Ver 18 ofertasEUR 42,18
-
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science): 828
Paulson, Lawrence C.
Precios de los artículos a partir de
Ver 17 ofertasEUR 54,44
