Applied semantics /

Bibliographic Details
Corporate Author:	APPSEM 2000 Carminha, Portugal
Other Authors:	Barthe, Gilles, 1967- (ed.), Dybjer, Peter (ed.), Pinto, Luís (ed.), Saraiva, Joao (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 2002.
Series:	Lecture notes in computer science ; v. 2395 LNCS ; v. 2395
Subjects:	Lenguajes de programación. Programming languages. Lógica y significado de programas. Logics and meanings of programs. Software.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190814150814.0
008	120228s2002 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__2395_000000000000000 \|7 0 \|9 14270 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Barthe Guilles \|l 0 \|o C LNCS v. 2395 \|p 16585 \|r 2010-11-24 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 11147 \|d 11147
020			\|a 35404400445
040			\|a AR_CdUFM
111	2		\|a APPSEM 2000 \|d (2000 : \|c Carminha, Portugal) \|9 20190
245	1	0	\|a Applied semantics / \|c ed. Gilles Barthe, Peter Dybjer, Luís Pinto, Joao Saraiva.
260			\|a Berlin : \|b Springer, \|c 2002.
300			\|a vi, 536 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 2395
490	0		\|a LNCS ; \|v v. 2395
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Software.
700	1		\|9 1078 \|a Barthe, Gilles, \|d 1967-, \|e ed.
700	1		\|9 4600 \|a Dybjer, Peter, \|e ed.
700	1		\|9 13512 \|a Pinto, Luís, \|e ed.
700	1		\|9 15215 \|a Saraiva, Joao, \|e ed.
942			\|c LIBRO \|2
945			\|a AB
945			\|a MCR \|d 2012-02-28