• usp_easy_retunsFree & Easy Returns
  • usp_best_dealsBest Deals
placeholder
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
magnifyZoom

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

232.00
nudge icon
Free Delivery
nudge icon
Free Delivery
noon-marketplace
Get it by 15 Aug
Order in 14h56m

Payment discount

Product Overview

Specifications

PublisherSpringer
ISBN 103319082590
LanguageEnglish
Publication Date25 July 2014
ISBN 139783319082592
AuthorEmilio Tuosto
Book DescriptionThis 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 Pages200 pages
Cart Total 232.00
placeholder
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
232.00
0

We're Always Here To Help

Reach out to us through any of these support channels

Shop On The Go

App StoreGoogle PlayHuawei App Gallery

Connect With Us

mastercardvisatabbytamaraamexcod