Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers /

Bibliographic Details
Corporate Authors:	FAABS 2000 Greenbelt, Md., SpringerLink (Online service)
Other Authors:	Rash, James L.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 1871. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Intelligent control systems > Congresses. Software engineering > Congresses. système autonome. méthode formelle. spécification formelle. communication agent. système multi-agent. Commande intelligente > Congrès. Génie logiciel > Congrès. Intelligent control systems. Software engineering. Agent <Informatik>. Formale Methode. Kongress. Mehragentensystem. Rechnernetz. Electronic books. Kongress > Greenbelt (Md.) > 2000. Conference proceedings. Greenbelt (Md., 2000)
Online Access:	Connect to the full text of this electronic book

Remote Storage