Normal view MARC view ISBD view

Specification and verification of multi-agent systems

Specification and verification of multi-agent systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. - Boston, MA : Springer Science+Business Media, LLC, 2010. - xvii, 405 p. : ill., digital ; 24 cm.

ISBN: 9781441969842 (electronic bk.) 9781441969835 (paper)

Subjects--Topical Terms:
Multiagent systems.
Computer software--Verification.
Computer Science.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages.
Software Engineering.
Computing Methodologies.

LC Class. No.: QA76.76.I58 / S64 2010

Dewey Class. No.: 006.33

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Specification and verification of multi-agent systems

Contact Us

Copyright ©The National University of Malaysia Library