Knygos pagal Herman Geuvers
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Type Theory and Formal Proof
144,14 €
192,19 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-25%
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
79,73 €
106,30 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją