{"product_id":"formal-methods-for-open-object-based-distributed-systems-8th-ifip-wg-6-1-international-conference-fmoods-2006-bologna-italy-june-14-16-2006-proceedings-von-roberto-gorrieri-heike-wehrheim-hrsg","title":"Formal Methods for Open Object-Based Distributed Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540348931\"\u003e\u003ch3\u003e8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540348931","offer_id":39433217638493,"sku":"9783540348931","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9e1d54ef-805b-4e55-86b8-750b20749dac.jpg?v=1782449052","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-for-open-object-based-distributed-systems-8th-ifip-wg-6-1-international-conference-fmoods-2006-bologna-italy-june-14-16-2006-proceedings-von-roberto-gorrieri-heike-wehrheim-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}