Stefano Berardi – författare

Visar alla böcker från författaren Stefano Berardi.

3 produkter

1. 

   Types for Proofs and Programs

   International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

   Av Stefano Berardi, Mario Coppo m. fl.

   Häftad, 2004

   739 kr

   Lägg i varukorg

2. 

   Types for Proofs and Programs

   International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

   Av Stefano Berardi, Mario Coppo

   Häftad, 1996

   739 kr

   Lägg i varukorg

3. 

   Types for Proofs and Programs

   International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

   Av Stefano Berardi, Ferruccio Damiani m. fl.

   Häftad, 2009

   739 kr

   Lägg i varukorg