{"product_id":"concise-introduction-to-alternatingtime-temporal-logics-a-guide-for-understanding-the-modelchecking-problem-9783032118844","title":"Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 202 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 19 April 2026\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer Nature Switzerland AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783032118844\u003c\/p\u003e","brand":"Stephane Demri","offers":[{"title":"Hardback","offer_id":48847945859322,"sku":"9783032118844","price":38.54,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1777688866247_book.jpg?v=1777957499","url":"https:\/\/shulphink.com\/products\/concise-introduction-to-alternatingtime-temporal-logics-a-guide-for-understanding-the-modelchecking-problem-9783032118844","provider":"Shulph Ink","version":"1.0","type":"link"}