Raamatud Markus Wenzel
Valikule vastavaid tooteid ei leitud.
-25%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
76,22 €
101,62 €
-25% koodiga BOOKS
Meie tarnija laos