25 years of model checking : history, achievements, perspectives /

Bibliographic Details
Other Authors:	Grumberg, Orna, Veith, Helmut
Format:	Book
Language:	English
Published:	Berlin : Springer, 2008.
Series:	Lecture notes in computer science, 5000
Subjects:	Lógica y significado de programas. Lógica de programas. Significado de programas. Verificacción de programas. Logics and meanings of programs. Logic of programs. Meanings of programs. Verifying programs. Model checking.

MARC


LEADER	00000nam a22000007a 4500
001	6827455
003	AR_CdUFM
005	20160908124436.0
008	080620s2008 gw a b 111 0 eng d
020			\|a 9783540698494
040			\|a OHX \|c AR_CdUFM \|d AR_CdUFM
245	0	0	\|a 25 years of model checking : \|b history, achievements, perspectives / \|c Orna Grumberg, Helmut Veith (eds.).
260			\|a Berlin : \|b Springer, \|c 2008.
300			\|a vi, 230 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science, \|v 5000 \|x 0302-9743 ;
504			\|a Includes bibliographical references and index.
650		4	\|a Lógica y significado de programas.
650		4	\|a Lógica de programas.
650		4	\|a Significado de programas.
650		4	\|a Verificacción de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Logic of programs.
650		4	\|a Meanings of programs.
650		4	\|a Verifying programs.
650		4	\|a Model checking.
700	1		\|9 6838 \|a Grumberg, Orna.
700	1		\|9 17747 \|a Veith, Helmut.
900			\|a AUTH
942			\|c LIBRO
945			\|a MCR \|d 2010-06-18
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_Y397 \|7 0 \|9 19686 \|a MMA \|b MMA \|c 4 \|d 2010-06-18 \|e D'Argenio Pedro \|g 0.00 \|l 1 \|o C F3 Y397 \|p 20428 \|r 2023-01-24 \|s 2018-08-06 \|w 2010-06-18 \|y LIBRO
999			\|c 15444 \|d 15443