Get Free Shipping on orders over $79
Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers - Marco Carbone
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Web Services and Formal Methods

8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

By: Marco Carbone (Editor), Jean-Marc Petit (Editor)

Paperback | 23 April 2012

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Computer Science

Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
AI Engineering : Building Applications with Foundation Models - Chip Huyen
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
AI for Business : A Guide to AI Adoption - Jon Whittle

RRP $49.99

$40.75

18%
OFF
Empire of AI : Inside the reckless race for total domination - Karen Hao
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Machine Music : How AI is Transforming Music's Next Act - Drew Thurlow
Deep Learning Applications in Operations Research - Sanjay Misra