Specification and verification of multi-agent systems :: ISBN 9781441969842 :: Springer 2010 :: OBNB, the Open British National Bibliography

Publication Data

Title Specification and verification of multi-agent systems
Contributors Mehdi Dastani, Koen V. Hindriks, John-Jules Ch Meyer
Publisher Springer
Publication date 2010
Publication location New York
Language English

Topics

Computer systems :: Verification
015757127

Catalogue Data

OBNB ID GBB136063
ISBN 10 1441969837
ISBN 13 9781441969842
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 xvii, 405 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Specification and verification of multi-agent systems. ISBN 9781441969842. Published by Springer in 2010. Publication and catalogue information, links to buy online and reader comments.