Top 81 torino PDF Book Page 4

book image

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Robin Adams (auth.), Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)
·417 Pages
·2004
·3.439 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.