Agent technology from a formal perspective /
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 .
Includes index
1852339470 (hbk.) RM363.97
Intelligent agents (Computer software)
Intelligent agents (Computer software)--Design
Formal methods (Computer science)
Includes index
1852339470 (hbk.) RM363.97
Intelligent agents (Computer software)
Intelligent agents (Computer software)--Design
Formal methods (Computer science)
