{"product_id":"9783838180533","title":"Une proposition de formalisme orienté composant","description":"\u003ch3\u003eUne proposition de formalisme orienté composant: Application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants\u003c\/h3\u003e","brand":"Bigot, Céline","offers":[{"title":"Neuf","offer_id":51806145937746,"sku":"NW-9783838180533","price":79.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0277\/1481\/4041\/files\/wSC7b0rzf4Mbn94CuWaMpxy8vxkxslx1B1BBuAHfFhnMSf03O8mzHg-cover-large_fa24ae15-9ab1-4721-a740-d5ff97ecda6c.jpg?v=1771298087","url":"https:\/\/labourseauxlivres.fr\/products\/9783838180533","provider":"Boutique La Bourse aux Livres","version":"1.0","type":"link"}