We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£113.97
Springer - Specification and Verification of Multi-agent Systems
Price data last checked 53 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£114 today · cheaper than every other day in the last 3 months
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 38 days • 38 data points (No recent data available)
Price Distribution
Price distribution over 38 days • 1 price levels
Price Analysis
Most common price: £114 (38 days, 100.0%)
Price range: £114 - £114
Price levels: 1 different prices over 38 days
Description
Key Features
Coherent treatment of formal specification and verification methods for agent-based systems.
Specialized focus on the verification of multi-agent programs for advanced computing research.
Includes contributions from leading international researchers in the field of computer science.
Covers essential logical formalisms such as model checking and theorem proving.
Explores axiomatisations used for the (semi) automatic verification of agent-based systems.
Provides technical insight into using theorem proving to verify specific properties of agent programs.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 1441969837
- Domain
- Amazon UK
- Release Date
- 06 August 2010
- Listed Since
- 12 June 2010
Barcode
No barcode data available
Similar Products You Might Like
Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, ... (Studies in Computational Intelligence, 446)
Springer
Intelligent Distributed Computing V: Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, the ... (Studies in Computational Intelligence, 382)
Springer
Self-organising Multi-agent Systems: Algorithmic Foundations Of Cyber-anarcho-socialism
World Scientific Publishing Company
Agents and Multi-Agent Systems: Technologies and Applications 2018: Proceedings of the 12th International Conference on Agents and Multi-Agent ... Innovation, Systems and Technologies, 96)
Springer
Decision Making: Uncertainty, Imperfection, Deliberation and Scalability: 538 (Studies in Computational Intelligence, 538)
Springer
Complex, Intelligent, and Software Intensive Systems: Proceedings of the 13th International Conference on Complex, Intelligent, and Software Intensive ... in Intelligent Systems and Computing, 993)
Springer
From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)
Springer
Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)
Springer
Springer Reasoning in Event-Based Distributed Systems 347
Springer
Donald Davidson on Action, Mind and Value (Logic in Asia: Studia Logica Library)
Springer
Automation, Communication and Cybernetics in Science and Engineering 2009/2010
Springer
Intelligent Systems: Theory, Research and Innovation in Applications: 864 (Studies in Computational Intelligence, 864)
Springer
Trends in Practical Applications of Agents and Multiagent Systems: 8th International Conference on Practical Applications of Agents and Multiagent ... ... in Intelligent and Soft Computing, 71)
Springer
Accuracy Improvements in Linguistic Fuzzy Modeling: 129 (Studies in Fuzziness and Soft Computing, 129)
Springer
AI-Based Services for Smart Cities and Urban Infrastructure
Engineering Science Reference
Quantitative Logic and Soft Computing 2016: Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held ... in Intelligent Systems and Computing, 510)
Springer
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Research and Development in Intelligent Systems XXV: Proceedings of AI-2008, The Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence: 25
Springer
7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS'09): 55 (Advances in Intelligent and Soft Computing, 55)
Springer
New Trends in Databases and Information Systems: 185 (Advances in Intelligent Systems and Computing, 185)
Springer
Fuzzy Cognitive Maps: Best Practices and Modern Methods
Springer
Proceedings of 2021 Chinese Intelligent Systems Conference: Volume II: 804 (Lecture Notes in Electrical Engineering, 804)
Springer
Intelligent Automation and Computer Engineering: 52 (Lecture Notes in Electrical Engineering, 52)
Springer
New Trends in Computational Collective Intelligence: 572 (Studies in Computational Intelligence, 572)
Springer