{"product_id":"realtime-systems-formal-specification-and-automatic-verification-9780521883337","title":"RealTime Systems Formal Specification and Automatic Verification","description":"\u003cp\u003ea huge range and FREE tracked UK delivery on ALL orders.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":53131380523351,"sku":"9780521883337","price":75.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/realtime-systems-formal-specification-and-automatic-verification-9780521883337","provider":"Book Curl","version":"1.0","type":"link"}