{"product_id":"web-services-and-formal-methods-8th-international-workshop-ws-fm-2011-clermont-ferrand-france-september-1-2-2011-revised-selected-papers-9783642298332","title":"Web Services and Formal Methods: 8th International Workshop, Ws-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers","description":"\u003cp\u003e • Author(s): Marco Carbone | Jean-Marc Petit\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: System Administration - Storage \u0026amp; Retrieval\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47597708345495,"sku":"9783642298332","price":5713.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642298332.webp?v=1774998271","url":"https:\/\/atlanticbooks.com\/products\/web-services-and-formal-methods-8th-international-workshop-ws-fm-2011-clermont-ferrand-france-september-1-2-2011-revised-selected-papers-9783642298332","provider":"Atlantic Books","version":"1.0","type":"link"}