Books by Herman Geuvers
No products found matching the selection.
-20%
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
€85.04
€106.30
-20% with code BOOKS
In stock at our supplier