1.
Types for Proofs and Programs International Workshop Types '95, Torino, Italy, June 5-8, 199...
by Berardi, Stefano, Coppo, Mario
ISBN: 9783540617808
List Price: $74.95
2.
Types For Proofs And Programs International Workshop, Types 2003, Torino, Italy, April 30 - ...
by Berardi, Stefano, Coppo, Ma...
ISBN: 9783540221647
List Price: $78.00
3.
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14...
by Coppo, Mario, Lodi, Elena, ...
ISBN: 9783540291060
List Price: $78.00
5.
Types for Proofs and Programs
by Berardi, Stefano, Coppo, Ma...
ISBN: 9783662213650
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Types for Proofs and Programs : International Workshop, Types '95, Torino, Italy, June 5 - 8...
by Berardi, Stefano, Coppo, Mario
ISBN: 9783662192207
List Price: $24.99