Tools and algorithms for the construction and analysis of systems /

Bibliographic Details
Corporate Author:	TACAS (Conference) Passau, Germany)
Other Authors:	Margaria, Tiziana, 1964- (ed.,), Steffen, Bernhard (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1996.
Series:	Lecture notes in computer science ; v. 1055 LNCS ; v. 1055
Subjects:	Lógica y significado de programas. Logics and meanings of programs. Verificación de programas. Program verification. Software-Herramientas y técnicas. Software-Tools and techniques. Sistemas distribuidos. Distributed systems.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123318.0
008	120215s1996 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540610421
040			\|a AR_CdUFM
111	2		\|a TACAS (Conference) \|n (2º : \|d 1996 : \|c Passau, Germany)
245	1	0	\|a Tools and algorithms for the construction and analysis of systems / \|c ed. Tiziana Margaria, Bernhard Steffen.
260			\|a Berlin : \|b Springer, \|c 1996.
300			\|a xi, 434 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1055
490	0		\|a LNCS ; \|v v. 1055
590			\|a La biblioteca posee 2 ej.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Verificación de programas.
650		4	\|a Program verification.
650		4	\|a Software-Herramientas y técnicas.
650		4	\|a Software-Tools and techniques.
650		4	\|a Sistemas distribuidos.
650		4	\|a Distributed systems.
700	1		\|9 10847 \|a Margaria, Tiziana, \|e ed., \|d 1964-
700	1		\|9 16527 \|a Steffen, Bernhard, \|e ed.
942			\|c LIBRO \|2
945			\|a AB
945			\|a MCR \|d 2012-02-15
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1055_000000000000000 \|7 0 \|9 10688 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1055 \|p 15250 \|r 2013-08-22 00:00:00 \|w 2008-06-09 \|y LIBRO
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1055_EJ_200000000000 \|7 0 \|9 10689 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1055 ej.2 \|p 15251 \|r 2013-08-22 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8396 \|d 8396