Matt Kaufmann grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-30%
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Matt Kaufmann, Lawrence C. Paulson
148,82 €
212,60 €
-30% ar kodu BOOKS
Piegādātāja noliktavā