Web Services and Formal Methods: 7th International Workshop, Ws-fm 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected P by Mario BravettiWeb Services and Formal Methods: 7th International Workshop, Ws-fm 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected P by Mario Bravetti

Web Services and Formal Methods: 7th International Workshop, Ws-fm 2010, Hoboken, Nj, Usa…

byMario Bravetti

Paperback | March 31, 2011

Pricing and Purchase Info

$104.20 online 
$124.50 list price save 16%
Earn 521 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
Title:Web Services and Formal Methods: 7th International Workshop, Ws-fm 2010, Hoboken, Nj, Usa…Format:PaperbackDimensions:191 pages, 23.5 × 15.5 × 0.01 inPublished:March 31, 2011Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642195881

ISBN - 13:9783642195884

Look for similar items by category:

Reviews