Agent technology from a formal perspective / 
edited by Christopher A. Rouff with Michael Hinchey ... [et al.] 
 - New York :  Springer,  2005 
 - xvi, 354 p. :  ill. ;  25 cm. 
 - NASA monographs in systems and software engineering .
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>1852339470 (hbk.)  RM363.97 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intelligent agents (Computer software)<br/>Intelligent agents (Computer software)--Design<br/>Formal methods (Computer science)