Stock image for illustration purposes only - book cover, edition or condition may vary.
Web Services and Formal Methods
. Ed(S): Tuosto, Emilio; Chun, Ouyang
€ 53.45
FREE Delivery in Ireland
Description for Web Services and Formal Methods
Paperback. Editor(s): Tuosto, Emilio; Chun, Ouyang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 198 pages, 37 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
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.
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.
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
198
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
189
Place of Publication
Cham, Switzerland
ISBN
9783319082592
SKU
V9783319082592
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Web Services and Formal Methods