Web Services and Formal Methods, Fachbücher von Maurice H. ter Beek, Niels Lohman
Das Buch "Web Services and Formal Methods" bietet eine umfassende Sammlung von Forschungsergebnissen, die aus dem 9. Internat... Mehr erfahren
Finde die besten Angebote
Bester Preis24 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Web Services and Formal Methods" bietet eine umfassende Sammlung von Forschungsergebnissen, die aus dem 9. Internationalen Workshop zu diesem Thema hervorgegangen sind. Die Veranstaltung fand im September 2012 in Tallinn, Estland, statt und versammelte Experten, um die neuesten Entwicklungen im Bereich der Webdienste und formalen Methoden zu diskutieren. In diesem Band sind neun sorgfältig ausgewählte und begutachtete Beiträge enthalten, die aus insgesamt 19 eingereichten Arbeiten stammen. Die behandelten Themen umfassen die Modellierung und Analyse von Webdiensten, die Dienstentdeckung sowie die Dienstkoordination unter Verwendung formaler Methoden wie BPEL, CSP, Maude und Petrinetze. Diese Publikation richtet sich an Fachleute und Forscher, die sich mit der Schnittstelle zwischen Webdiensten und formalen Methoden beschäftigen und bietet wertvolle Einblicke in aktuelle Trends und Herausforderungen in diesem dynamischen Bereich.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer