Kirjat Matt Kaufmann
Valintaa vastaavia tuotteita ei löytynyt.
-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% koodilla BOOKS
Toimittajalla varastossa