CONCUR - 2003 : Concurrency theory /

Bibliographic Details
Corporate Author:	International Conference on Concurrence Theory Marseille, France
Other Authors:	Amadio, Roberto (ed.), Lugiez, Denis (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 2003.
Series:	Lecture notes in computer science ; v. 2761 LNCS ; v. 2761
Subjects:	Lógica y significado de programas. Logics and meanings of programs. Computación mediante dispositivos abstractos. Computation by abstract devices. Lenguajes de programación. Programming languages. Redes de computadoras. Computer networks.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20170703153920.0
008	120228s2003 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540407537
040			\|a AR_CdUFM
111	2		\|a International Conference on Concurrence Theory \|n (14º : \|d 2003 : \|c Marseille, France)
245	1	0	\|a CONCUR - 2003 : \|b Concurrency theory / \|c ed. Roberto M. Amadio, Denis Lugiez.
260			\|a Berlin : \|b Springer, \|c 2003.
300			\|a xi, 524 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 2761
490	0		\|a LNCS ; \|v v. 2761
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Computación mediante dispositivos abstractos.
650		4	\|a Computation by abstract devices.
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Redes de computadoras.
650		4	\|a Computer networks.
700	1		\|9 386 \|a Amadio, Roberto \|e ed.
700	1		\|9 10475 \|a Lugiez, Denis, \|e ed.
942			\|c LIBRO \|2
945			\|a AB
945			\|a MCR \|d 2012-02-28
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__2761_000000000000000 \|7 0 \|9 14797 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Niebert Peter \|l 0 \|o C LNCS v. 2761 \|p 17198 \|r 2010-11-24 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 11573 \|d 11573