Rouff, Christopher A.
Agent technology from a formal perspective
- New York: Springer, 2005
- xvi, 354 p.; ill.: 25 cm.
- NASA monographs in systems and software .
1852339470 (hbk)
Formal methods (Computer science)
Intelligent agents (Computer software)
Intelligent agents (Computer software) -- Design
006.3 / ROU