Specification and Verification of Multi-agent Systems

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dastani, Mehdi (Επιμελητής έκδοσης), Hindriks, Koen V. (Επιμελητής έκδοσης), Meyer, John-Jules Charles (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2010.
• Θέματα: 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.

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...