{"product_id":"9783319148052","title":"Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .8963) (2015. 2015. ix, 143 S. 10 SW-Abb.,. 235","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING","offers":[{"title":"Default Title","offer_id":49758500651256,"sku":"00000_00000_00000_00000","price":88.1,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/kinokuniya.com.au\/products\/9783319148052","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}