Books by Matt Kaufmann
No products found matching the selection.
-20%
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Matt Kaufmann, Lawrence C. Paulson
€170.08
€212.60
-20% with code BOOKS
In stock at our supplier