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

Other Authors:	Rouff, Christopher A (Editor) Hinchey, Michael (Editor) Rash, James (Editor) Truszkowski, Walter (Editor) Gordon-Spears, Diana (Editor)
Corporate Author:	SpringerLink (online služba) (Distributor)
Format:	eBook
Language:	English
Published:	London : Springer London, 2006
Series:	NASA Monographs in Systems and Software Engineering,
Genre/form:	elektronické knihy
ISBN:	9781846282713
Online Access:	Plný text
Tags:	Add Tag No Tags, Be the first to tag this record!