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

$222.38

Free postage
quantity
More than 10 available
condition
Brand new
sold by
grey_elk_books_au_and_uk (77977)99.7% Positive Feedback
delivery
Est. 21 Dec - 6 JanFrom United States
Returns
Buyer pays return postage