Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010
Online
Monographie, Konferenzschrift, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
|
---|---|
Verantwortlichkeitsangabe: | edited by Cosimo Laneve, Jianwen Su |
Autor/in / Beteiligte Person: | Laneve, Cosimo ; Su, Jianwen |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010 |
Medientyp: | Monographie, Konferenzschrift |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783642144585 |
DOI: | 10.1007/978-3-642-14458-5 |
Schlagwort: |
|
Sonstiges: |
|