![Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers, Paperback / softback Book Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers, Paperback / softback Book](http://hive.dmmserver.com/media/640/97833190/9783319082592.jpg)
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers Paperback / softback
Edited by Emilio Tuosto, Chun Ouyang
Part of the Lecture Notes in Computer Science series
Paperback / softback
Description
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.
The 8 papers presented were carefully reviewed and selected from 19 submissions.
They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Information
-
Out of stock
- Format:Paperback / softback
- Pages:189 pages, 37 Illustrations, black and white; IX, 189 p. 37 illus.
- Publisher:Springer International Publishing AG
- Publication Date:25/07/2014
- Category:
- ISBN:9783319082592
Information
-
Out of stock
- Format:Paperback / softback
- Pages:189 pages, 37 Illustrations, black and white; IX, 189 p. 37 illus.
- Publisher:Springer International Publishing AG
- Publication Date:25/07/2014
- Category:
- ISBN:9783319082592