{"product_id":"9780521771849","title":"Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches","description":"\u003cp\u003eThis collection of comprehensive surveys by leading researchers presents the current state of the art in the application of formal methods to object based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":42729278537803,"sku":"00000_00000_00000_00000","price":6738.47,"currency_code":"THB","in_stock":true}],"url":"https:\/\/kinokuniya.co.th\/products\/9780521771849","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}