{"product_id":"demri-goranko-lange-martin-stephane-valentin-temporal-logics-in-computer-science-finite-state-systems-cambridge-tracts-in-theoretical-computer-science-58-band-58-9781107028364","title":"Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science, 58, Band 58)","description":null,"brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":53831611449686,"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_9781107028364_1.jpg?v=1781829955","url":"https:\/\/www.momoxbooks.com\/products\/demri-goranko-lange-martin-stephane-valentin-temporal-logics-in-computer-science-finite-state-systems-cambridge-tracts-in-theoretical-computer-science-58-band-58-9781107028364","provider":"momoxbooks","version":"1.0","type":"link"}