Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /

Bibliographic Details
Corporate Author:	FASE 2009 York, UK
Other Authors:	Chechik, Marsha (ed.), Wirsing, Martin (ed.)
Format:	Conference Proceeding Book
Language:	English
Published:	New York : Springer, 2009.
Series:	Lecture notes in computer science ; v. 5503 LNCS ; v. 5503
Subjects:	Software engineering. Logics and meanings of programs. Programming languages. Mathematical logic. Formal languages. Mathematical software.

MARC


LEADER	00000nam a22000007a 4500
001	15734145
003	AR_CdUFM
005	20160908124444.0
008	090512s2009 nyu 000 0 eng
020			\|a 9783642005923
040			\|a DLC \|c AR_CdUFM \|d AR_CdUFM
111	2		\|a FASE 2009 \|n (12º : \|d 2009 : \|c York, UK)
245	0	0	\|a Fundamental approaches to software engineering : \|b 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings / \|c Marsha Chechik, Martin Wirsing, (eds.)
260			\|a New York : \|b Springer, \|c 2009.
300			\|a xiii, 488 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 5503
490	0		\|a LNCS ; \|v v. 5503
504			\|a Includes bibliographical references.
650		4	\|a Software engineering.
650		4	\|a Logics and meanings of programs.
650		4	\|a Programming languages.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Mathematical software.
700	1		\|9 3036 \|a Chechik, Marsha, \|e ed.
700	1		\|9 18576 \|a Wirsing, Martin, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2012-03-08
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__5503_000000000000000 \|7 0 \|9 19769 \|a MMA \|b MMA \|c LN \|d 2010-08-10 \|e Subsidio Secyt-UNC 2010-Gramaglia Hector-: Importación de Publicaciones \|l 0 \|o C LNCS v. 5503 \|p 20543 \|r 2010-08-10 00:00:00 \|w 2010-08-10 \|y LIBRO
955			\|a pc17 2009-05-12 \|a rf17 2009-07-24 to USPL
999			\|c 15511 \|d 15510