Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Web Services and Formal Methods : 9th International Workshop
WS-FM 2012TallinnEstoniaSeptember 6-72012Revised Selected Papers
SR 238
Inclusive of VAT
SR14Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR238
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
Report an issue with this product.
