Pocketbok
Visa slutsålda utgivelser

Releases med Stefano Berardi

Cover for Stefano Berardi · Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues (Pocketbok) [2009 edition] (2009)

Types for Proofs and Programs: I... (2009)

Stefano Berardi

Cover for Stefano Berardi · Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers - Lecture Notes in Computer Science (Pocketbok) (1996)

Types for Proofs and Programs: I... (1996)

Stefano Berardi