Web Services and Formal Methods / Lecture Notes in Computer Science Bd.7843 (PDF)
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and...
sofort als Download lieferbar
Printausgabe 50.60 €
eBook (pdf) -2%
49.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Web Services and Formal Methods / Lecture Notes in Computer Science Bd.7843 (PDF)“
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
Bibliographische Angaben
- 2013, 2013, 151 Seiten, Englisch
- Herausgegeben: Maurice H. ter Beek, Niels Lohmann
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642382304
- ISBN-13: 9783642382307
- Erscheinungsdatum: 15.05.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.22 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Web Services and Formal Methods / Lecture Notes in Computer Science Bd.7843"
Schreiben Sie einen Kommentar zu "Web Services and Formal Methods / Lecture Notes in Computer Science Bd.7843".
Kommentar verfassen