ZUM'97 : the Z formal specification notation /

Bibliographic Details
Corporate Author:	International Conference of the Z User Reading, UK
Other Authors:	Bowen, Jonathan Peter, 1956- (ed.), Hinchey, Michael Gerad, 1969- (ed.), Till, David (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1997.
Series:	Lecture notes in computer science ; v. 1212 LNCS ; v. 1212
Subjects:	Ingeniería de software. Software engineering. Lógica matemática-Computación. Mathematical logic-Computation. Sistemas y lenguajes. Languages and systems. Programas-Especificación. Programs-Specification. Programación-Técnicas. Programming techniques. Matemática discreta. Discrete mathematics.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190405184331.0
008	110517s1997 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540627170
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Conference of the Z User \|n (10º : \|d 1997 : \|c Reading, UK)
245	1	0	\|a ZUM'97 : \|b the Z formal specification notation / \|c edited by Jonathan P. Bowen, Michael G. Hinchey, David Till.
260			\|a Berlin : \|b Springer, \|c 1997.
300			\|a 433 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1212
490	0		\|a LNCS ; \|v v. 1212
650		4	\|a Ingeniería de software.
650		4	\|a Software engineering.
650		4	\|a Lógica matemática-Computación.
650		4	\|a Mathematical logic-Computation.
650		4	\|a Sistemas y lenguajes.
650		4	\|a Languages and systems.
650		4	\|a Programas-Especificación.
650		4	\|a Programs-Specification.
650		4	\|a Programación-Técnicas.
650		4	\|a Programming techniques.
650		4	\|a Matemática discreta.
650		4	\|a Discrete mathematics.
700	1		\|a Bowen, Jonathan Peter, \|d 1956- \|e ed. \|9 1994
700	1		\|a Hinchey, Michael Gerad, \|e ed. \|d 1969-
700	1		\|9 17185 \|a Till, David, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-05.17
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1212_000000000000000 \|7 0 \|9 10369 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1212 \|p 14876 \|r 2013-08-26 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8108 \|d 8108