Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : Revised Selected Papers - Lecture Notes in Computer Science

WS-FM (Workshop), Marco Carbone, Jean-Marc Petit

2012

Paperback (23 Apr 2012)

Save $8.39

RRP $61.06
$52.67

In Stock

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-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.

Book information

ISBN:	9783642298332
Publisher:	Springer Berlin Heidelberg
Imprint:	Springer
Pub date:	23 Apr 2012
Edition:	2012
DEWEY:	006.78
DEWEY edition:	23
Language:	English
Number of pages:	142
Weight:	248g
Height:	235mm
Width:	155mm
Spine width:	10mm