Catalog

Record Details

Catalog Search


Specification and Verification of Multi-agent Systems Cover Image E-book E-book

Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.

Dastani, Mehdi. (editor.). Hindriks, Koen V. (editor.). Meyer, John-Jules Charles. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9781441969842
  • Physical Description: XVII, 405p. 100 illus. online resource.
  • Publisher: Boston, MA : Springer US, 2010.

Search for related items by subject

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

Electronic resources

Texto completo


Additional Resources