Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften:	Carbone, Marco (VerfasserIn), Petit, Jean-Marc (Sonstige)
Titel:	Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers/ edited by Marco Carbone, Jean-Marc Petit
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7176
Schlagwörter:	Computer science Information Systems Computer Science Software engineering Information storage and retrieval systems Electronic data processing Application software. User interfaces (Computer systems). Human-computer interaction. Konferenzschrift > 2011 > Clermont-Ferrand Konferenzschrift
Buchausg. u.d.T.:	Web services and formal methods, Berlin : Springer, 2012, VI, 142 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
Beschreibung:	Literaturangaben
Umfang:	Online-Ressource (IX, 143p. 54 illus, digital)
ISBN:	9783642298349
DOI:	10.1007/978-3-642-29834-9