Markus Wenzel grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-25%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
76,22 €
101,62 €
-25% ar kodu BOOKS
Piegādātāja noliktavā