1.
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-...
by Berardi, Stefano, Damiani, ...
ISBN: 9783642024436
List Price: $74.95
2.
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
3.
Types For Proofs And Programs International Workshop, Types 2003, Torino, Italy, April 30 - ...
by Berardi, Stefano, Coppo, Ma...
ISBN: 9783540221647
List Price: $78.00
4.
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
OUT OF STOCK
See Availability on Amazon6.
Types for Proofs and Programs
by Berardi, Stefano, Coppo, Ma...
ISBN: 9783662213650
List Price: $24.99