Details

Autor(en) / Beteiligte

• Hutchison, David
• Kanade, Takeo
• Kittler, Josef
• Kleinberg, Jon M
• Lee, David
• Lopes, Antónia
• Mattern, Friedemann
• Mitchell, John C
• Naor, Moni
• Nierstrasz, Oscar
• Pandu Rangan, C
• Poetzsch-Heffter, Arnd
• Steffen, Bernhard
• Sudan, Madhu
• Terzopoulos, Demetri
• Tygar, Doug
• Vardi, Moshe Y
• Weikum, Gerhard

Titel

Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings [Elektronische Ressource]

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

2009

Link zum Volltext

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