{"product_id":"verification-model-checking-and-abstract-interpretation-9783032156990","title":"Verification Model Checking and Abstract Interpretation","description":"","brand":"Springer Nature Switzerland AG","offers":[{"title":"Default Title","offer_id":53195557208407,"sku":"9783032156990","price":64.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/verification-model-checking-and-abstract-interpretation-9783032156990","provider":"Book Curl","version":"1.0","type":"link"}