Agent technology from a formal perspective / 
editors,  Christopher A. Rouff ... [and others]. 
 - xvi, 354 pages :  illustrations ;  25 cm. 
 - NASA monographs in systems and software engineering .
<br/><br/><label>ISBN: </label>1852339470 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intelligent agents (Computer software).<br/>Intelligent agents (Computer software) --Design.<br/>Formal methods (Computer science).
<br/><br/><label>LC Class. No.: </label>QA76.76.I58   / .A36 2005