An introduction to formal specification and Z /

Bibliographic Details
Main Author:	Potter, Ben
Other Authors:	Sinclair, Jane, Till, David, 1942-
Format:	Book
Language:	English
Published:	London : Prentice-Hall, 1996.
Edition:	2a. ed.
Series:	Prentice-Hall international series in computer science
Subjects:	Software-Requerimientos y especificaciones. Software-Requeriments and specifications. Lenguajes de programación. Programming languages. Z.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908122809.0
008	111102s1996 enk\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 0132422077
040			\|a AR_CdUFM \|c AR_CdUFM
100	1		\|9 13716 \|a Potter, Ben.
245	1	3	\|a An introduction to formal specification and Z / \|c Ben Potter, Ben Potter, Jane Sinclair, David Till.
250			\|a 2a. ed.
260			\|a London : \|b Prentice-Hall, \|c 1996.
300			\|a xiv, 434 p. : \|b il. ; \|c 24 cm.
490	0		\|a Prentice-Hall international series in computer science
500			\|a La biblioteca posee 3 ej.
650		4	\|a Software-Requerimientos y especificaciones.
650		4	\|a Software-Requeriments and specifications.
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Z.
700	1		\|9 16064 \|a Sinclair, Jane.
700	1		\|9 17186 \|a Till, David, \|d 1942-
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-11-02
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_D21_P866_EJ2 \|7 0 \|9 7418 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C D2.1 P866 ej.2 \|p 14625 \|r 2023-01-24 00:00:00 \|w 2008-06-09 \|y LIBRO
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_D21_P866_EJ3 \|7 0 \|9 7419 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C D2.1 P866 ej.3 \|p 14626 \|r 2023-01-24 00:00:00 \|w 2008-06-09 \|y LIBRO
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_D21_P866 \|7 0 \|9 7420 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C D2.1 P866 \|p 14167 \|r 2023-01-24 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 5619 \|d 5619