{"product_id":"symbolic-model-checking-9780792393801","title":"Symbolic Model Checking","description":"\u003cp\u003ea huge range and FREE tracked UK delivery on ALL orders.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53133854671191,"sku":"9780792393801","price":74.1,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/symbolic-model-checking-9780792393801","provider":"Book Curl","version":"1.0","type":"link"}