{"product_id":"9782225819674","title":"Logique temporelle: Sémantique et validation des programmes parallèles","description":"\u003ch3\u003eLogique temporelle: Sémantique et validation des programmes parallèles\u003c\/h3\u003e","brand":"Andureau","offers":[{"title":"Correct","offer_id":49245269197138,"sku":"PR-9782225819674","price":13.18,"currency_code":"EUR","in_stock":false},{"title":"Bon","offer_id":49245269229906,"sku":"AV-9782225819674","price":13.18,"currency_code":"EUR","in_stock":false},{"title":"Très bon","offer_id":49245269262674,"sku":"GD-9782225819674","price":17.45,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0277\/1481\/4041\/files\/41940J4TF8L_06500137-f87c-44a8-bf37-d4ac20f7515e.jpg?v=1753816667","url":"https:\/\/labourseauxlivres.fr\/products\/9782225819674","provider":"Boutique La Bourse aux Livres","version":"1.0","type":"link"}