Mario Coppo - Böcker

Visar alla böcker från författaren Mario Coppo.
3 produkter
Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs, Häftad
Del 3085 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Stefano Berardi, Mario Coppo, Ferruccio Damiani

Häftad, Engelska, 2004

739 kr

Skickas inom 7-10 vardagar
Mario Coppo, Elena Lodi, G. Michele Pinna - Theoretical Computer Science, Häftad

Theoretical Computer Science

Av Mario Coppo, Elena Lodi, G. Michele Pinna

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar
Stefano Berardi, Mario Coppo - Types for Proofs and Programs, Häftad
Del 1158 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Stefano Berardi, Mario Coppo

Häftad, Engelska, 1996

739 kr

Skickas inom 7-10 vardagar