{"product_id":"formal-methods-for-industrial-critical-systems-9783032009418","title":"Formal Methods for Industrial Critical Systems","description":"","brand":"Springer-Verlag GmbH","offers":[{"title":"Default Title","offer_id":51742910742871,"sku":"9783032009418","price":52.74,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/formal-methods-for-industrial-critical-systems-9783032009418","provider":"Book Curl","version":"1.0","type":"link"}