Web Services and Formal Methods, Fachbücher von Maurice H. ter Beek, Niels Lohman
49,22 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
