{"product_id":"fred-kroger-temporal-logic-of-programs-monographs-in-theoretical-computer-science-an-eatcs-series-band-8-9783540170303","title":"Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, Band 8)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53646881522006,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540170303_1_9efe0f3e-52bf-4790-be76-5f1d7da7a0f7.jpg?v=1781733957","url":"https:\/\/www.momoxbooks.com\/products\/fred-kroger-temporal-logic-of-programs-monographs-in-theoretical-computer-science-an-eatcs-series-band-8-9783540170303","provider":"momoxbooks","version":"1.0","type":"link"}