{"product_id":"manna-zohar-temporal-verification-of-reactive-systems-safety-9781461242239","title":"Temporal Verification of Reactive Systems: Safety","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53625526255958,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/manna-zohar-temporal-verification-of-reactive-systems-safety-9781461242239","provider":"momoxbooks","version":"1.0","type":"link"}