{"product_id":"9783642406140","title":"Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science \/ Programming and Software Engineering .7866) (2013. x, 241 S. 125 SW-Abb.,.","description":"","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":49750189572344,"sku":"00000_00000_00000_00000","price":97.89,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/kinokuniya.com.au\/products\/9783642406140","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}