Programming in the 1990s : an introduction to the calculation of programs /

Bibliographic Details
Main Author:	Cohen, Edwards
Format:	Book
Language:	English
Published:	New York : Springer, 1990.
Series:	Texts and monographs in computer science
Subjects:	Programas-Verificación. Programs-Verification. Programas-Especificación. Programs-Specification. Programación automática. Automatic programming.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908122811.0
008	110512s1990 nyu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 0387973826
040			\|a AR_CdUFM \|c AR_CdUFM
100	1		\|9 3304 \|a Cohen, Edwards.
245	1	0	\|a Programming in the 1990s : \|b an introduction to the calculation of programs / \|c Edward Cohen.
260			\|a New York : \|b Springer, \|c 1990.
300			\|a xv, 265 p. ; \|c 24 cm.
490	0		\|a Texts and monographs in computer science
500			\|a La biblioteca posee 4 ej.
650		4	\|a Programas-Verificación.
650		4	\|a Programs-Verification.
650		4	\|a Programas-Especificación.
650		4	\|a Programs-Specification.
650		4	\|a Programación automática.
650		4	\|a Automatic programming.
942			\|c LIBRO
945			\|a MCR \|d 2011-05-12
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F31_C678 \|7 0 \|9 7451 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e FOMEC/Comp. \|l 8 \|o C F3.1 C678 \|p 14191 \|r 2023-01-24 \|s 2022-05-31 \|w 2008-06-09 \|y LIBRO
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F31_C678_EJ2 \|7 0 \|9 7452 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e FOMEC/Comp. \|l 2 \|o C F3.1 C678 ej.2 \|p 14192 \|r 2023-01-24 \|s 2013-05-20 \|w 2008-06-09 \|y LIBRO
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F31_C678_EJ3 \|7 0 \|9 7453 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e FOMEC/Comp. \|l 5 \|o C F3.1 C678 ej.3 \|p 14193 \|r 2023-01-24 \|s 2014-10-21 \|w 2008-06-09 \|y LIBRO
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F31_C678_EJ4 \|7 0 \|9 7454 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e FOMEC/Comp. \|l 16 \|m 2 \|o C F3.1 C678 ej.4 \|p 14194 \|r 2023-01-24 \|s 2014-11-12 \|w 2008-06-09 \|y LIBRO
999			\|c 5640 \|d 5640