{"product_id":"web-services-and-formal-methods-third-international-workshop-ws-fm-2006-vienna-austria-september-8-9-2006-proceedings-von-mario-bravetti-manuel-nunez-gianluigi-zavattaro-hrsg","title":"Web Services and Formal Methods","description":"\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\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540388623\"\u003e\u003ch3\u003eThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540388623","offer_id":39436261851229,"sku":"9783540388623","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/803b5047-0455-4492-87f4-1c232e1380f1.jpg?v=1773555463","url":"https:\/\/shop.autorenwelt.de\/products\/web-services-and-formal-methods-third-international-workshop-ws-fm-2006-vienna-austria-september-8-9-2006-proceedings-von-mario-bravetti-manuel-nunez-gianluigi-zavattaro-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}