Web Services and Formal Methods: 5th International Workshop, W.S.-F.M. 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer ... Notes in Computer Science, 5387, Band 5387) - Softcover

 
9783642013638: Web Services and Formal Methods: 5th International Workshop, W.S.-F.M. 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer ... Notes in Computer Science, 5387, Band 5387)
Softcover
ISBN 10: 3642013635 ISBN 13: 9783642013638
Verlag: Springer, 2009

Inhaltsangabe

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008.

The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
3642013635
ISBN 13 
9783642013638
Einband
Taschenbuch
Anzahl der Seiten
252
Herausgeber
Bruni Roberto
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783642013652: Web Services and Formal Methods

Vorgestellte Ausgabe

ISBN 10:  3642013651 ISBN 13:  9783642013652
Verlag: Springer, 2009
Softcover