{"product_id":"angel-garcia-formalisation-d-un-procede-de-developpement-logiciel-base-modele-verification-formelle-par-la-methode-b-9783838180687","title":"Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B","description":null,"brand":"Univ Européenne","offers":[{"title":"Default Title","offer_id":53899689328982,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783838180687_1.jpg?v=1781873923","url":"https:\/\/www.momoxbooks.com\/products\/angel-garcia-formalisation-d-un-procede-de-developpement-logiciel-base-modele-verification-formelle-par-la-methode-b-9783838180687","provider":"momoxbooks","version":"1.0","type":"link"}