Kirjat Lennart Beringer
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
80,18 €
106,90 €
-25% koodilla BOOKS
Toimittajalla varastossa