Eintrag weiter verarbeiten
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Gespeichert in:
Personen und Körperschaften: | , , , |
---|---|
Titel: | Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures/ edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg
Springer
2013
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 7866 |
Schlagwörter: | |
Druckausg.: | Formal methods for components and objects, Berlin : Springer, 2013, 239 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |