Bokus

Mario Coppo – författare

Visar alla böcker från författaren Mario Coppo. Handla med fri frakt och snabb leverans.

5 produkter

  1. Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs, Häftad. Tillgänglighet: Lägg i varukorg

    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

    567 kr

    Lägg i varukorg

    These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The …

  2. Ferruccio Damiani, Mario Coppo, Stefano Berardi - Types for Proofs and Programs, E-bok. Tillgänglighet: Lägg i varukorg

    Types for Proofs and Programs

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

    Av Ferruccio Damiani, Mario Coppo m. fl.

    E-bok, 2004

    755 kr

    Lägg i varukorg

    These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The …

  3. Mario Coppo, Elena Lodi, G. Michele Pinna - Theoretical Computer Science, Häftad. Tillgänglighet: Lägg i varukorg

    Theoretical Computer Science

    9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

    Av Mario Coppo, Elena Lodi m. fl.

    Häftad, 2005

    567 kr

    Lägg i varukorg

    The 9th Italian Conference on Theoretical Computer Science (ICTCS 2005)was held at the Certosa di Pontignano, Siena, Italy, on October 12-14 2005. The Certosa di Pontignano is the conference center of the University of Siena; it is located 8 km away from the town and it is in the Chianti region. …

  4. G. Michele Pinna, Elena Lodi, Mario Coppo - Theoretical Computer Science, E-bok. Tillgänglighet: Lägg i varukorg

    Theoretical Computer Science

    9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

    Av G. Michele Pinna, Elena Lodi m. fl.

    E-bok, 2005

    755 kr

    Lägg i varukorg

  5. Stefano Berardi, Mario Coppo - Types for Proofs and Programs, Häftad. Tillgänglighet: Lägg i varukorg

    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

    567 kr

    Lägg i varukorg

    This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type …