Publisher | Springer |
ISBN 10 | 3319082590 |
Language | English |
Publication Date | 25 July 2014 |
ISBN 13 | 9783319082592 |
Author | Emilio Tuosto |
Book 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. |
Number of Pages | 200 pages |
We're Always Here To Help
Reach out to us through any of these support channels
electronics
mobilestabletslaptopshome appliancescamera, photo & videotelevisionsheadphonesvideo gamesfashion
women's fashionmen's fashiongirls' fashionboys' fashionwatchesjewellerywomen's handbagsmen's eyewearhome and kitchen
bathhome decorkitchen & diningTools & Home Improvementaudio & videofurniturePatio, Lawn & Gardenpet suppliesbeauty
fragrancemake-uphaircareskincareBath & Body Electronic beauty toolsmen's groomingHealth Care Essentials