Knygos pagal Markus Wenzel
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
76,22 €
101,62 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją