Knygos pagal Matt Kaufmann
Produktų, atitinkančių pasirinkimą, nerasta.
-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% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją