CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Types for Proofs and Programs Second International Workshop, Types 2002, Berg En Dal, the Ne...
Types for Proofs and Programs Second International Workshop, Types 2002, Berg En Dal, the Ne... by Geuvers, Herman, Wiedijk, F... ISBN: 9783540140313 List Price: $79.95
$52.33 (Save 34%)
2.
Hybrid Systems Computation and Control 6th International Workshop, Hscc 2003, Prague, Czech...
Hybrid Systems Computation and Control 6th International Workshop, Hscc 2003, Prague, Czech... by Maler, Oded, Pnueli, Amir, ... ISBN: 9783540009139 List Price: $109.00
$103.17 (Save 5%)
3.
Types for Proofs and Programs
Types for Proofs and Programs by Geuvers, Herman, Wiedijk, F... ISBN: 9783662213414 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Hybrid Systems : Computation and Control
Hybrid Systems : Computation and Control by Wiedijk, Freek, Maler, Oded... ISBN: 9783662206065 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on the O...
Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on the O... by Capretta, Venanzio, Krebber... ISBN: 9783031617157 List Price: $129.99

OUT OF STOCK

See Availability on Amazon