{"product_id":"9784627856813","title":"検証のためのＳｙｓｔｅｍＶｅｒｉｌｏｇプログラミング","description":"\u003cp\u003e効率的・厳密な検証作業のために。多数のサンプルコードと開発例で、実践的なプログラミング技術が身につく１冊！\u003c\/p\u003e","brand":"森北出版","offers":[{"title":"Default Title","offer_id":48597960294635,"sku":"00000_00000_00000_00000","price":49.3,"currency_code":"SGD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9784627856813-1.jpg?v=1781751370","url":"https:\/\/kinokuniya.com.sg\/zh\/products\/9784627856813","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}