{"product_id":"temporal-logic-and-state-systems-texts-in-theoretical-computer-science-an-eatcs-series","title":"Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)","description":null,"brand":"Kröger, Fred","offers":[{"title":"Very Good","offer_id":51243932877083,"sku":"mon0000475461","price":67.64,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0958\/4004\/3291\/files\/20775733483484_e0f38473-53a1-4d26-92cc-66e4dd9835f9.jpg?v=1773084934","url":"https:\/\/bookalley.com\/products\/temporal-logic-and-state-systems-texts-in-theoretical-computer-science-an-eatcs-series","provider":"Book Alley","version":"1.0","type":"link"}