Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic)
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem
Overall Rating: 4.1 / 5 (average from multiple review sources, as of 16 Apr 2026)
Based on a total of 50,097 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 50,097 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Cheapest Total Price
2 - 4 working days
Visa
Visa
Mastercard
Mastercard
£42.74
Free Delivery
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic)
Overall Rating: 2.4 / 5 (average from multiple review sources, as of 9 Apr 2026)
Based on a total of 46,120 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 46,120 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
This title will be released on April 19, 2026. Pre-order now. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£44.99
Free Delivery
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem - Details
▶ Finding you the best price!
We have found 2 prices for Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem. Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem - Price Information
- Cheapest price: £42.74
- The cheapest price is offered by Whsmith.co.uk. You can order the product there.
- The price range for the product Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem is €£42.74to €£44.99 with a total of 2 offers.
- Payment methods: The online shop Whsmith.co.uk supports: Visa, Mastercard
- Delivery: The shortest delivery time is 2 - 4 working days working days offered by Whsmith.co.uk.
Similar products
£26.31
Amazon-marketplace.co.uk
Delivery from £2.80
£11.54
Amazon-marketplace.co.uk
Delivery from £2.80
£6.43
Amazon-marketplace.co.uk
Delivery from £2.80
£9.88
amazon.co.uk
Delivery from £2.99
£22.99
amazon.co.uk
Free Delivery
Cheapest offer
The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence.Alternating-time temporal logics are considered as one of the most popular and influential logical formalisms for strategic reasoning in multi-agent systems and have been introduced by Rajeev Alur, Thomas Henzinger and Orna Kupferman about 25 years ago.This textbook provides a concise presentation of alternating-time temporal logics dedicated to strategic reasoning in multi-agent systems.Dedicated mainly to the model-checking problem, the work examines developments about basic semantical properties of such logics, decision procedures and computational complexity.It provides results for solving optimally the model-checking problem on concurrent game structures by taking advantage of-or adapting proof methods from-temporal logics, games in theo
£42.74
2 - 4 working days
Whsmith.co.uk
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).