Details

Autor(en) / Beteiligte

• de Boer, Frank S
• Bonsangue, Marcello M
• de Roever, Willem-Paul
• Graf, Susanne

Titel

Formal Methods for Components and Objects (vol. # 4111) : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures [Elektronische Ressource]

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg, Berlin Heidelberg : Springer-Verlag GmbH.

Erscheinungsjahr

2006

Link zum Volltext

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