Showing 1 - 6 of 6 Results
1.
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14... by Coppo, Mario, Lodi, Elena, ... ISBN: 9783540291060 List Price: $78.00
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.
Boy and the Mountain by Bellini, Mario, Coppo, Mari... ISBN: 9780735270251
6.
Types for Proofs and Programs by Berardi, Stefano, Coppo, Ma... ISBN: 9783662213650 List Price: $24.99