Verification, model checking and abstract interpretation : proceedings /

Bibliographic Details
Corporate Author:	VMCAI Savannah, Ga.
Other Authors:	Jones, Neil D. (ed.), Müller-Olm, Markus (ed.)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, c2009.
Series:	Lecture notes in computer science v. 5403 LNCS ; v. 5403
Subjects:	Specifying and verifying. Reasoning about programs. Semantics of programming languages. Formal definitions and theory. Program verification.

MARC


LEADER	00000nam a22000007a 4500
001	7006046
003	AR_CdUFM
005	20160908124444.0
008	081208s2009 gw a b 101 0 eng d
020			\|a 9783540938996
040			\|a NNC \|c AR_CdUFM \|d AR_CdUFM
111	2		\|a VMCAI \|n (10th : \|d 2009 : \|c Savannah, Ga.)
245	1	0	\|a Verification, model checking and abstract interpretation : \|b proceedings / \|c Neil D. Jones, Markus Müller-Olm (eds.).
260			\|a Berlin ; \|a New York : \|b Springer, \|c c2009.
300			\|a xi, 380 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science \|v v. 5403
490	0		\|a LNCS ; \|v v. 5403
504			\|a Includes bibliographical references and index.
650		4	\|a Specifying and verifying.
650		4	\|a Reasoning about programs.
650		4	\|a Semantics of programming languages.
650		4	\|a Formal definitions and theory.
650		4	\|a Program verification.
700	1		\|9 8413 \|a Jones, Neil D., \|e ed.
700	1		\|9 12034 \|a Müller-Olm, Markus, \|e ed.
900			\|a AUTH
942			\|c LIBRO \|2
945			\|a MCR \|d 2012-03-08
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__5403_000000000000000 \|7 0 \|9 19768 \|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. 5403 \|p 20542 \|r 2010-08-10 \|w 2010-08-10 \|y LIBRO
999			\|c 15510 \|d 15509