Details

Autor(en) / Beteiligte

• Hutchison, David
• Kanade, Takeo
• Kittler, Josef
• Kleinberg, Jon M
• Kowalewski, Stefan
• Mattern, Friedemann
• Mitchell, John C
• Naor, Moni
• Nierstrasz, Oscar
• Pandu Rangan, C
• Philippou, Anna
• Steffen, Bernhard
• Sudan, Madhu
• Terzopoulos, Demetri
• Tygar, Doug
• Vardi, Moshe Y
• Weikum, Gerhard

Titel

Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [Elektronische Ressource]

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

2009

Link zum Volltext

• Springer Computer Science (inkl. Lecture Notes in Computer Science) 2009 (ZDB-2-SCS)
• Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)