Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of...
Full description
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Rouff, Christopher A.
(Editor),
Hinchey, Michael
(Editor),
Rash, James
(Editor),
Truszkowski, Walter
(Editor),
Gordon-Spears, Diana
(Editor) |
|---|
| Format: | Electronic
eBook
|
|---|
| Language: | English |
|---|
| Published: |
London :
Springer London,
2006.
|
|---|
| Series: | NASA Monographs in Systems and Software Engineering,
|
|---|
| Subjects: | |
|---|
| Online Access: | Full Text via HEAL-Link
|
|---|
