{"product_id":"9780387944593","title":"Temporal Verification of Reactive Systems, Safety (1995. XVIII, 512 p. w. 181 ill. 24,5 cm)","description":"","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":49103181185251,"sku":"00000_00000_00000_00000","price":109.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/usa.kinokuniya.com\/ja\/products\/9780387944593","provider":"Books Kinokuniya USA","version":"1.0","type":"link"}