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 checked 6 days ago
Price History & Forecast
Last 85 days • 85 data points (No recent data available)
Price Distribution
Price distribution over 85 days • 1 price levels
Price Analysis
Most common price: £114 (85 days, 100.0%)
Price range: £114 - £114
Price levels: 1 different prices over 85 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
Multi-Agent Programming:: Languages, Tools and Applications
Springer
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Multiagent Systems (Intelligent Robotics and Autonomous Agents series)
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Springer - Logics of Specification Languages Monograph
Springer
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
VDM Verlag
Multiagent Engineering: Theory and Applications in Enterprises (International Handbooks on Information Systems)
Springer
Multiagent Engineering: Theory and Applications in Enterprises (International Handbooks on Information Systems)
Springer
Principles of Model Checking
MIT Press
Multiagent Systems and Applications: Volume 1:Practice and Experience: 45 (Intelligent Systems Reference Library, 45)
Springer
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Self-organising Multi-agent Systems: Algorithmic Foundations Of Cyber-anarcho-socialism
World Scientific Publishing Company
Design of Intelligent Multi-Agent Systems: Human-Centredness, Architectures, Learning and Adaptation: 162 (Studies in Fuzziness and Soft Computing, 162)
Springer
Securing AI Agents: Foundations, Frameworks, and Real-World Deployment (Advances in Data Analytics, AI, and Smart Systems)
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Springer
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Springer
Real-Time Systems: Scheduling, Analysis, and Verification
Wiley
Scalable Hardware Verification with Symbolic Simulation
Springer
Computation Engineering: Applied Automata Theory and Logic
Springer
Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science, 464)
Springer
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Cambridge University Press