ZUM '95... the Z formal specification notation : Proceedings /

Bibliographic Details
Corporate Author:	International Conference of Z Users Limerick, Ireland
Other Authors:	Bowen, Jonathan Peter, 1956- (ed.), Hinchey, Michael G. (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 967
Subjects:	Ingeniería de software. Software engineering. Algebraic manipulation. Manipulación algebraica. Programs-Specification. Programas-Especificación.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190405184642.0
008	110511s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__967_000000000000000 \|7 0 \|9 5173 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 0 \|o C LNCS v. 967 \|p 12312 \|r 2013-08-21 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 3855 \|d 3855
020			\|a 3540602712
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Conference of Z Users \|n (9º : \|d 1995 : \|c Limerick, Ireland)
245	1	0	\|a ZUM '95... the Z formal specification notation : \|b Proceedings / \|c ed. Jonathan P. Bowen, Michael G. Hinchey.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a 569 p. : \|b il. ; \|c 24 cm.
490			\|a Lecture notes in computer science ; \|v v. 967
650		4	\|a Ingeniería de software.
650		4	\|a Software engineering.
650		4	\|a Algebraic manipulation.
650		4	\|a Manipulación algebraica.
650		4	\|a Programs-Specification.
650		4	\|a Programas-Especificación.
700	1		\|9 1994 \|a Bowen, Jonathan Peter, \|d 1956-, \|e ed.
700	1		\|9 7588 \|a Hinchey, Michael G., \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-05-11