Delivery included to the United States

Web Services and Formal Methods

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 ; Revised Selected Papers - LNCS Sublibrary. SL2, Programming and Software Engineering

2014

Paperback (25 Jul 2014)

Save $3.92

  • RRP $47.49
  • $43.57
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's 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.

Book information

ISBN: 9783319082592
Publisher: Springer International Publishing
Imprint: Springer
Pub date:
Edition: 2014
DEWEY: 006.78
DEWEY edition: 23
Language: English
Number of pages: 189
Weight: 454g
Height: 235mm
Width: 155mm
Spine width: 11mm