{"product_id":"9786131529955","title":"Sémantiques formelles : Vérification formelle de propriétés sémantiques des langages de programmation (2010. 132 S. 220 mm)","description":"","brand":"\u0026Eacute;DITIONS UNIVERSITAIRES EUROP\u0026Eacute;ENNES","offers":[{"title":"Default Title","offer_id":42570504372299,"sku":"00000_00000_00000_00000","price":2246.15,"currency_code":"THB","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0641\/0023\/7387\/files\/9786131529955-1.jpg?v=1783525621","url":"https:\/\/kinokuniya.co.th\/products\/9786131529955","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}