Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

Show other versions (1)
Bibliographic Details
Main Author: Dastani, Mehdi
Corporate Author: SpringerLink (Online service)
Other Authors: Hindriks, Koen V, Meyer, John-Jules Charles
Format: Electronic Kit Book
Language:English
Published: Boston, MA Springer Science+Business Media, LLC 2010
Subjects:
Computer science
Software engineering
Electronic data processing
Computer Science
Software Engineering/Programming and Operating Systems
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Software Engineering
Computing Methodologies
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-1-4419-6984-2

Similar Items

Similar Items