{"product_id":"9786131529955","title":"Sémantiques formelles","description":"\u003ch3\u003eSémantiques formelles: Vérification formelle de propriétés sémantiques des langages de programmation\u003c\/h3\u003e","brand":"Blazy, Sandrine","offers":[{"title":"Neuf","offer_id":51806649745746,"sku":"NW-9786131529955","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0277\/1481\/4041\/files\/wSC7b0rzf4Or35ZmpD_3TkcTIyZIIAQhLDz1kY-x_vJr510GWwEGtQ-cover-large_4651acad-b035-4aff-824b-8a53f204e96b.jpg?v=1771295052","url":"https:\/\/labourseauxlivres.fr\/products\/9786131529955","provider":"Boutique La Bourse aux Livres","version":"1.0","type":"link"}