Formal systems specification : the RPC memory specification case study /

Bibliographic Details
Other Authors:	Broy, Manfred, 1949- (ed.,), Merz, Stephen (ed.), Spies, Katharina (ed.)
Format:	Book
Published:	Berlin : Springer, 1996.
Series:	Lecture notes in computer science ; LNCS ; v. 1169 v. 1169
Subjects:	Sistemas distribuidos. Distributed systems. Software-Requerimientos y especificaciones. Software-Requeriments and specifications. Verificación de programas. Program verification. Software-Design. Software-Diseño. Programas-Especificación. Programs-Specification.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190806163844.0
008	110516s1996 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540619844
040			\|a AR_CdUFM \|c AR_CdUFM
245	0	0	\|a Formal systems specification : \|b the RPC memory specification case study / \|c ed. Manfred Broy, Stephen Merz, Katharina Spies.
260			\|a Berlin : \|b Springer, \|c 1996.
300			\|a xxiii, 540 p. : \|b il. ; \|c 24 cm.
650		4	\|a Sistemas distribuidos.
650		4	\|a Distributed systems.
650		4	\|a Software-Requerimientos y especificaciones.
650		4	\|a Software-Requeriments and specifications.
650		4	\|a Verificación de programas.
650		4	\|a Program verification.
650		4	\|a Software-Design.
650		4	\|a Software-Diseño.
650		4	\|a Programas-Especificación.
650		4	\|a Programs-Specification.
700	1		\|a Broy, Manfred, \|d 1949- \|e ed., \|9 2276
700	1		\|9 11435 \|a Merz, Stephen, \|e ed.
700	1		\|9 16416 \|a Spies, Katharina, \|e ed.
942			\|c LIBRO
945			\|a MCR \|d 2011-05-16
490			\|a Lecture notes in computer science ; \|v v. 1169 \|a LNCS ; \|v v. 1169
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1169_000000000000000 \|7 0 \|9 10443 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1169 \|p 14947 \|r 2013-08-23 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8174 \|d 8174