Willkommen, schön sind Sie da!
Logo Ex Libris

Web Services and Formal Methods

  • Kartonierter Einband
  • 164 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Form... Weiterlesen
CHF 66.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Inhalt
Web Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied to Service Discovery and Coordination.

Produktinformationen

Titel: Web Services and Formal Methods
Untertitel: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Editor:
EAN: 9783642382291
ISBN: 3642382290
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Anwendungs-Software
Anzahl Seiten: 164
Gewicht: 260g
Größe: H235mm x B155mm x T9mm
Jahr: 2013
Auflage: 2013

Weitere Produkte aus der Reihe "Programming and Software Engineering"