Eintrag weiter verarbeiten
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Gespeichert in:
| Personen und Körperschaften: | , , |
|---|---|
| Titel: | Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers/ edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue |
| Format: | E-Book Konferenzbericht |
| Sprache: | Englisch |
| veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012
|
| Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 6957 |
| Schlagwörter: | |
| Buchausg. u.d.T.: | Formal methods for components and objects, Berlin : Springer, 2011, XI, 391 S. |
| Quelle: | Verbunddaten SWB |
| Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |