Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 /

Bibliographic Details
Corporate Author:	International Conference on Formal Methods for Open Object-Based Distributed Systems Enschede, The Netherlands
Other Authors:	Jacobs, Bart (ed.), Rensink, Arend (ed.)
Format:	Conference Proceeding Book
Language:	English
Published:	Boston : Kluwer, 2002.
Series:	International Federation for Information Processing ; no. 81
Subjects:	Sistemas distribuidos. Distributed systems. Programación orientada a objetos. Object-oriented programming.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123805.0
008	111019s2002 mau\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 0792376838
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Conference on Formal Methods for Open Object-Based Distributed Systems \|n (5º : \|d 2002 : \|c Enschede, The Netherlands)
245	1	0	\|a Formal methods for open object-based distributed systems V : \|b IFIP TC6/WG6.1 / \|c ed. Bart Jacobs, Arend Rensink.
260			\|a Boston : \|b Kluwer, \|c 2002.
300			\|a x, 278 p. : \|b il. ; \|c 25 cm.
490	0		\|a International Federation for Information Processing ; \|v no. 81
650		4	\|a Sistemas distribuidos.
650		4	\|a Distributed systems.
650		4	\|a Programación orientada a objetos.
650		4	\|a Object-oriented programming.
700	1		\|9 8153 \|a Jacobs, Bart, \|e ed.
700	1		\|9 14245 \|a Rensink, Arend, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-10-19
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_C24_F723 \|7 0 \|9 14181 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e Katoen Joost-Pieter \|l 0 \|o C C2.4 F723 \|p 16490 \|r 2023-01-24 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 11066 \|d 11066