Library of American University of Madaba
Your cart is empty.
Specification and verification of multi-agent systems/
Authors: Dastani, Mehdi.%editor | Hindriks, Koen V.%editor | Meyer, John-Jules Ch.%editor Published by : Springer, (New York :) Physical details: xvii, 405 p. : ill. ISBN: 1441969837 Subject(s): Multiagent systems. | Computer software %Verification. Year: 2010
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Notes | Date Due |
|---|---|---|---|---|---|
 Book |
AUM Main Library | 006.33 S741 (Browse Shelf) | Available | JBC/2011/10780 |
Includes bibliographical references (p. 385-405)
There are no comments for this item.