{"product_id":"9783841794901","title":"Preuves par récurrence avec ensembles couvrants contextuels","description":"\u003ch3\u003ePreuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications\u003c\/h3\u003e","brand":"Stratulat-S","offers":[{"title":"Neuf","offer_id":51806189093202,"sku":"NW-9783841794901","price":69.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0277\/1481\/4041\/files\/wSC7b0rzf4MmFct0IzQjL62H22ovAOHeRX2x7VhEjO1YTjklbka7aw-cover-large_66606e9c-35e8-4a24-8553-3fbff9029a3e.jpg?v=1771298924","url":"https:\/\/labourseauxlivres.fr\/products\/9783841794901","provider":"Boutique La Bourse aux Livres","version":"1.0","type":"link"}