Stefano Berardi - Böcker

Visar alla böcker från författaren Stefano Berardi.
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
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
Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro, Ugo De Liguoro - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

Av Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro, Ugo De Liguoro

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar