{"product_id":"barthe-gilles-formal-methods-for-open-object-based-distributed-systems-9783540688624","title":"Formal Methods for Open Object-Based Distributed Systems","description":"This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54716347056470,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540688624_1.jpg?v=1791108231","url":"https:\/\/www.momoxbooks.com\/products\/barthe-gilles-formal-methods-for-open-object-based-distributed-systems-9783540688624","provider":"momox","version":"1.0","type":"link"}