Cover Image

Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researche...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Dastani, Mehdi. (Editor), Hindriks, Koen V. (Editor), Meyer, John-Jules Charles. (Editor)
Format: Electronic
Language:English
Published: Boston, MA : Springer US, 2010.
Subjects:
Computer science.
Software engineering.
Electronic data processing.
Artificial intelligence.
Computer Science.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Software Engineering.
Computing Methodologies.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-6984-2

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-6984-2

Similar Items