Eintrag weiter verarbeiten
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Gespeichert in:
Personen und Körperschaften: | , , , |
---|---|
Titel: | Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers/ edited by Bernhard Beckert, Ferruccio Damiani, 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 ; 7542 |
Schlagwörter: | |
Verfügbar auch als: | Druck-Ausgabe Formal methods for components and objects, Berlin : Springer, 2013, X, 356 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |
RVK-Notation: |
SS 4800
Lecture notes in computer science
|
---|---|
Schlagwörter: |