Eintrag weiter verarbeiten
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: | Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers/ edited by Cosimo Laneve, Jianwen Su |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 6194 |
Schlagwörter: | |
Buchausg. u.d.T.: | Web services and formal methods, Berlin : Springer, 2010, 195 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |