Agent technology from a formal perspective / edited by Christopher A. Rouff ... [et al.] - London : Springer, 2006 - 354 p. : ill. ; 25 cm - NASA monographs in systems and software engineering . ISBN: 1852339470 Subjects--Topical Terms: Intelligent agents (Computer software)Intelligent agents (Computer software)--Design