{"product_id":"formal-methods-for-open-object-based-distributed-systems-7th-ifip-wg-6-1-international-conference-fmoods-2005-athens-greece-june-15-17-2005-proceedings-von-martin-steffen-gianluigi-zavattaro-hrsg","title":"Formal Methods for Open Object-Based Distributed Systems","description":"\u003cp\u003efacto) standardnotation and languagesfor serviceo- ented design, e. g. web services orchestration languages, was explicitly welcome.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540261810\"\u003e\u003ch3\u003e7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540261810","offer_id":39427616702557,"sku":"9783540261810","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/aee2dd30-bc51-4a6a-8a51-826a857be1e1.jpg?v=1773554105","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-for-open-object-based-distributed-systems-7th-ifip-wg-6-1-international-conference-fmoods-2005-athens-greece-june-15-17-2005-proceedings-von-martin-steffen-gianluigi-zavattaro-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}