Books by Markus Wenzel
No products found matching the selection.
-20%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
€81.30
€101.62
-20% with code BOOKS
In stock at our supplier