Eintrag weiter verarbeiten
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden...
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: | Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings/ edited by Holger Giese, Grigore Rosu |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 7273 |
Schlagwörter: | |
Buchausg. u.d.T.: | Formal techniques for distributed systems, [Berlin] : Springer, 2012, XII, 267 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |
RVK-Notation: |
SS 4800
Lecture notes in computer science
|
---|---|
Schlagwörter: |