Books by Freek Wiedijk
No products found matching the selection.
-20%
The Seventeen Provers of the World Foreword by Dana S. Scott
€93.60
€117.00
-20% with code BOOKS
In stock at our supplier
-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.80
€107.25
-20% with code BOOKS
In stock at our supplier