{"product_id":"sorin-stratulat-preuves-par-recurrence-avec-ensembles-couvrants-contextuels-applications-a-la-verification-de-logiciels-de-telecommunications-9783841794901","title":"Preuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications","description":null,"brand":"Editions universitaires europeennes","offers":[{"title":"Default Title","offer_id":53900951978326,"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_9783841794901_1.jpg?v=1781874802","url":"https:\/\/www.momoxbooks.com\/products\/sorin-stratulat-preuves-par-recurrence-avec-ensembles-couvrants-contextuels-applications-a-la-verification-de-logiciels-de-telecommunications-9783841794901","provider":"momoxbooks","version":"1.0","type":"link"}