{"product_id":"9783642397202","title":"Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Lecture Notes in Computer Science) \u003cVol. 8050\u003e","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":49749774205176,"sku":"00000_00000_00000_00000","price":107.69,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/kinokuniya.com.au\/products\/9783642397202","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}