Stefano Berardi ![]() |
Sortierung: Titel - Veröffentlichung | ||
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
Herausgeber von: | ||
![]() | Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Buch) Sprache: English Veröffentlichung: Juni 2009 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
![]() | Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Buch) Sprache: English Veröffentlichung: Juni 2004 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
![]() | Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Buch) Sprache: English Veröffentlichung: Oktober 1996 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
Seite 1 von 1 |