Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
Online
Monographie, Konferenzschrift, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
|
---|---|
Verantwortlichkeitsangabe: | edited by Marco Carbone, Jean-Marc Petit |
Autor/in / Beteiligte Person: | Carbone, Marco ; Petit, Jean-Marc |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer Berlin Heidelberg, 2012 |
Medientyp: | Monographie, Konferenzschrift |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783642298349 |
DOI: | 10.1007/978-3-642-29834-9 |
Schlagwort: |
|
Sonstiges: |
|