Analysis and verification of multiple-agent languages /

Bibliographic Details
Corporate Author:	LOMAPS Workshop Stockholm, Sweden
Other Authors:	Dam, Mads (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1997.
Series:	Lecture notes in computer science ; v. 1192 LNCS ; v. 1192
Subjects:	Programación concurrente. Concurrent programming. Lenguajes de programación. Programming languages. Programas-Verificación. Programs-Verification. Sistemas distribuidos. Distributed systems.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123249.0
008	110516s1997 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540625038
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a LOMAPS Workshop \|n (5º : \|d 1996 : \|c Stockholm, Sweden)
245	1	0	\|a Analysis and verification of multiple-agent languages / \|c ed. Mads Dam.
260			\|a Berlin : \|b Springer, \|c 1997.
300			\|a vii, 434 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1192
490	0		\|a LNCS ; \|v v. 1192
650		4	\|a Programación concurrente.
650		4	\|a Concurrent programming.
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Programas-Verificación.
650		4	\|a Programs-Verification.
650		4	\|a Sistemas distribuidos.
650		4	\|a Distributed systems.
700	1		\|9 3803 \|a Dam, Mads, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2012-02-23
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1192_000000000000000 \|7 0 \|9 10408 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1192 \|p 14914 \|r 2013-08-26 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8145 \|d 8145