{"product_id":"web-services-and-formal-methods-third-international-workshop-ws-fm-2006-vienna-austria-september-8-9-2006-proceedings-9783540388623","title":"Web Services and Formal Methods: Third International Workshop, Ws-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings","description":"\u003cp\u003e • Author(s): Mario Bravetti\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Networking - Hardware\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eHere are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography\/Orchestration\/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45282451128471,"sku":"9783540388623","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540388623.webp?v=1769302185","url":"https:\/\/atlanticbooks.com\/products\/web-services-and-formal-methods-third-international-workshop-ws-fm-2006-vienna-austria-september-8-9-2006-proceedings-9783540388623","provider":"Atlantic Books","version":"1.0","type":"link"}