Details

Autor(en) / Beteiligte

• Hutchison, David
• Berardi, Stefano
• Damiani, Ferruccio
• de’Liguoro, Ugo
• Kanade, Takeo
• Kittler, Josef
• Kleinberg, Jon M
• Mattern, Friedemann
• Mitchell, John C
• Naor, Moni
• Nierstrasz, Oscar
• Pandu Rangan, C
• Steffen, Bernhard
• Sudan, Madhu
• Terzopoulos, Demetri
• Tygar, Doug
• Vardi, Moshe Y
• Weikum, Gerhard

Titel

Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers [Elektronische Ressource]

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

2009