Showing 1 - 6 of 6 Results
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
5.
assioma Del Vuoto : (Cosmo-Agonia/Noi Due) by Donno, Stefano, Vitagliano,... ISBN: 9798618065047
6.
Types for Proofs and Programs by Berardi, Stefano, Coppo, Ma... ISBN: 9783662213650 List Price: $24.99