Raamatud Matt Kaufmann
Valikule vastavaid tooteid ei leitud.
-25%
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Matt Kaufmann, Lawrence C. Paulson
159,45 €
212,60 €
-25% koodiga BOOKS
Meie tarnija laos