Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1996)


OUR TOP PICK

$248.51

+ $10.00 postage
Quantity
1 available
Condition
Brand new
Sold by
roxy*books (286695)98.7% positive Feedback
Delivery
Est. 3 Aug - 9 AugFrom Priority Airmail from England, United Kingdom
Returns
14 days money back
Buyer pays return postage