Books by Martin Wirsing
No products found matching the selection.
-20%
Adapting Proofs-as-Programs: The Curry--Howard Protocol
John N. Crossley, Iman Poernomo, Martin Wirsing
€203.26
€254.08
-20% with code BOOKS
In stock at our supplier
-20%
Adapting Proofs-As-Programs: The Curry--Howard Protocol
Iman Poernomo, Martin Wirsing, John N Crossley
€255.80
€319.75
-20% with code BOOKS
In stock at our supplier