TY  - BOOK
AU  - Rouff,Chris
AU  - Hinchey,Michael G.
TI  - Agent technology from a formal perspective
SN  - 1852339470 (hbk.)
PY  - 2005///
CY  - New York
PB  - Springer
KW  - Intelligent agents (Computer software)
KW  - Design
KW  - Formal methods (Computer science)
N1  - Includes index
ER  -