Web Services and Formal Methods

8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Buch | Softcover
IX, 143 Seiten
2012 | 2012
Springer Berlin (Verlag)
978-3-642-29833-2 (ISBN)
53,49 inkl. MwSt
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.
Erscheint lt. Verlag 23.4.2012
Reihe/Serie Lecture Notes in Computer Science
Programming and Software Engineering
Zusatzinfo IX, 143 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 230 g
Themenwelt Mathematik / Informatik Informatik Datenbanken
Informatik Software Entwicklung User Interfaces (HCI)
Schlagworte BPEL • data-centric Web services • formal methods • Petri Nets • verification
ISBN-10 3-642-29833-8 / 3642298338
ISBN-13 978-3-642-29833-2 / 9783642298332
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …

von Mahbouba Gharbi; Arne Koschel; Andreas Rausch; Gernot Starke

Buch | Hardcover (2023)
dpunkt Verlag
34,90
Wissensverarbeitung - Neuronale Netze

von Uwe Lämmel; Jürgen Cleve

Buch | Hardcover (2023)
Carl Hanser (Verlag)
34,99