Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2002)


OUR TOP PICK

£160.59

+ £2.80 P&P
Quantity
1 available
Condition
New
Sold by
Business seller: roxy*media*uk (212394)98.8 % positive Feedback
Delivery
Est. 27 JanFrom England
Returns
Buyer pays return postage