{"product_id":"9783642396977","title":"Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science \/ Theoretical Computer Science and General Issues .8051) (2013. 2013. xii, 413 S. 86 SW-Abb., XII, 413 p. 86","description":"","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":49175732551907,"sku":"00000_00000_00000_00000","price":54.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/usa.kinokuniya.com\/products\/9783642396977","provider":"Books Kinokuniya USA","version":"1.0","type":"link"}