{"product_id":"9783838180687","title":"Formalisation d'un procédé de développement logiciel basé modèle","description":"\u003ch3\u003eFormalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B\u003c\/h3\u003e","brand":"Garcia, Angel","offers":[{"title":"Neuf","offer_id":51806983389522,"sku":"NW-9783838180687","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0277\/1481\/4041\/files\/wSC7b0rzf4Mbn94CuWaMp-JzMqeWbXYy-zaxka-7ZtNJsu9e4By8AA-cover-large_1bdb915c-0c03-4891-9d07-8c1bca4b2328.jpg?v=1771294299","url":"https:\/\/labourseauxlivres.fr\/products\/9783838180687","provider":"Boutique La Bourse aux Livres","version":"1.0","type":"link"}