42388386
9783662192207
Out of Stock
The item you're looking for is currently unavailable.
Berardi, Stefano is the author of 'Types for Proofs and Programs : International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers', published 2014 under ISBN 9783662192207 and ISBN 3662192209.
[read more]