Sold by Mighty Ape
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.
We are committed to protecting your rights under the Consumer Guarantees Act and working with our suppliers to assist with warranty claims. Products sold by Mighty Ape will be covered by a Manufacturer's Warranty for at least a one-year period from the date of purchase.
Your warranty will cover any manufacturing defects which, if existing, will present themselves within this warranty period.
Your warranty will not cover normal wear and tear, faults caused by misuse, and accidents which cause damage or theft caused after delivery. Using the product in a way it is not designed for will void your warranty.
Please refer to our Help Centre for more information.
Save with Primate
Earn $1.55 Points Credit*
Exclusive Deals
Mighty Ape Travel discount
^FREE 14 day trial. Primate will be charged $89 / 365 days after free trial, cancel anytime. Delivery benefits available in selected postcodes only. †*T&Cs apply, click for details.