Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers: 8379 (Lecture Notes in Computer Science, 8379) - Softcover

 
9783319082592: Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers: 8379 (Lecture Notes in Computer Science, 8379)
Softcover
ISBN 10: 3319082590 ISBN 13: 9783319082592
Publisher: Springer, 2014

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3319082590
ISBN 13 
9783319082592
Binding
Paperback
Number of pages
198
Editor
Tuosto Emilio, Ouyang Chun

Other Popular Editions of the Same Title

9783319082615: Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Featured Edition

ISBN 10:  3319082612 ISBN 13:  9783319082615
Publisher: Springer, 2014
Softcover