Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /

Bibliographic Details
Corporate Author:	Conference on Category Theory and Computer Science Cambridge, United Kingdom
Other Authors:	Pitt, David H. (ed.), Rydeheard, David F. (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 953 LNCS ; v. 953
Subjects:	Logics and meanings of programs. Lógica y significado de programas. Ingeniería de software. Software engineering.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908122356.0
008	120229s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540601643
040			\|a AR_CdUFM
111	2		\|a Conference on Category Theory and Computer Science \|n (6º : \|d 1995 : \|c Cambridge, United Kingdom)
245	1	0	\|a Category theory and computer science : \|b 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / \|c ed. David Pitt, David F. Rydeheard.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a 252 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 953
490	0		\|a LNCS ; \|v v. 953
650		4	\|a Logics and meanings of programs.
650		4	\|a Lógica y significado de programas.
650		4	\|a Ingeniería de software.
650		4	\|a Software engineering.
700	1		\|a Pitt, David H., \|e ed.
700	1		\|9 14952 \|a Rydeheard, David F., \|e ed.
942			\|c LIBRO \|2
945			\|a AB
945			\|a MCR \|d 2012-02-29
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__953_000000000000000 \|7 0 \|9 5172 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 2 \|m 1 \|o C LNCS v. 953 \|p 12307 \|r 2013-08-21 00:00:00 \|s 2011-11-01 \|w 2008-06-09 \|y LIBRO
999			\|c 3854 \|d 3854