TY  - BOOK
AU  - Rouff,Christopher A.
TI  - Agent technology from a formal perspective
T2  - NASA monographs in systems and software engineering
SN  - 1852339470
AV  - QA76.76.I58  .A36 2005
PY  - 2006///
CY  - London
PB  - Springer
KW  - Intelligent agents (Computer software)
KW  - Design
KW  - Formal methods (Computer science)
ER  -