Computer aided verification : proceedindings /

Bibliographic Details
Corporate Author:	CAV (Conference) Haifa, Israel)
Other Authors:	Grumberg, Orna (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1997.
Series:	Lecture notes in computer science ; v. 1254 LNCS ; v. 1254
Subjects:	Lógica y significado de programas. Logics and meanings of programs. Special-purpose and application-based systems. Sistemas con propósito y aplicación especial. Deducción y prueba de teoremas. Deduction and theorem proving. Verificación de programas. Program verification. Software-Tools and Techniques. Software-Herramientas y técnicas. Lógica matemática. Mathematical logic. Design aids. Asistencia de diseños.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123235.0
008	100811s1997 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540631666
040			\|a AR_CdUFM
111	2		\|a CAV (Conference) \|n (9º : \|d 1997 : \|c Haifa, Israel)
245	1	0	\|a Computer aided verification : \|b proceedindings / \|c ed. Orna Grumberg.
260			\|a Berlin : \|b Springer, \|c 1997.
300			\|a xi, 486 p. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1254
490	0		\|a LNCS ; \|v v. 1254
504			\|a Incluye referencias bibliográficas.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Special-purpose and application-based systems.
650		4	\|a Sistemas con propósito y aplicación especial.
650		4	\|a Deducción y prueba de teoremas.
650		4	\|a Deduction and theorem proving.
650		4	\|a Verificación de programas.
650		4	\|a Program verification.
650		4	\|a Software-Tools and Techniques.
650		4	\|a Software-Herramientas y técnicas.
650		4	\|a Lógica matemática.
650		4	\|a Mathematical logic.
650		4	\|a Design aids.
650		4	\|a Asistencia de diseños.
700	1		\|9 6838 \|a Grumberg, Orna, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-05-09
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1254_000000000000000 \|7 0 \|9 10263 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1254 \|p 14747 \|r 2013-08-23 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8009 \|d 8009