{"product_id":"9781024208504","title":"A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design","description":"","brand":"Hutson Street Press","offers":[{"title":"Default Title","offer_id":48301259489515,"sku":"00000_00000_00000_00000","price":34.7,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9781024208504","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}