Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /

Bibliographic Details
Corporate Authors:	LOMAPS Workshop Stockholm, Sweden, SpringerLink (Online service)
Other Authors:	Dam, Mads
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1192.
Subjects:	Programming languages (Electronic computers) > Congresses. système distribué. programmation parallèle. vérification. spécification langage. langage multi-agent. système multi-agent. Langages de programmation > Congrès. Programming languages (Electronic computers) Programmatuurtechniek. Arquitetura De Sistemas De Computacao. Ordinateurs > Programmation > Congrès. Electronic books. Conference proceedings. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Remote Storage