Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

Show other versions (1)

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 eBook
Language:English
Published: Boston, MA : Springer US, 2010.
Subjects:
Computer science.
Software engineering.
Mathematical logic.
Computers.
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:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items