Agent technology from a formal perspective - Rouff, Chris, 1960-; Hinchey, Michael G. (Michael Gerard), 1969- (New York : Springer, 2005)
Includes index
Keywords: Intelligent agents (Computer software); Intelligent agents (Computer software) -- Design; Formal methods (Computer science)