{"product_id":"9784789838085","title":"組み込みソフトへの数理的アプローチ 形式手法によるソフトウェアの仕様記述と検証","description":"組み込みソフトへの数理的アプローチ 形式手法によるソフトウェアの仕様記述と検証","brand":"CQ出版","offers":[{"title":"Default Title","offer_id":48501617623344,"sku":"","price":3520.0,"currency_code":"JPY","in_stock":true}],"url":"https:\/\/www.maruzenjunkudo.co.jp\/products\/9784789838085","provider":"丸善ジュンク堂書店ネットストア","version":"1.0","type":"link"}