Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Lawrence C. Paulson

Rasta: 4
Isabelle: A Generic Theorem Prover
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Logic and Computation: Interactive Proof with Cambridge Lcf
-20% su kodu: BOOKS
114,06 
142,58 
Išsiųsime per 11-15 d. d.
ML for the Working Programmer
-20% su kodu: BOOKS
131,74 
164,67 
Išsiųsime per 11-15 d. d.
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
-20% su kodu: BOOKS
74,52 
93,15 
Išsiųsime per 11-15 d. d.
Rasta: 4