01554nam a22003977a 4500
7849478
AR_CdUFM
20231003163443.0
090703e2007 gw |s|||| 00| 0 eng d
9783540733676
BIP US
WaSeSS
AR_CdUFM
CAV (Conference)
(19º :
2007 :
Berlin, Germany)
Computer Aided Verification :
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Werner Damm, Holger Hermanns, editors.
Berlin :
Springer
2007.
xv, 562 p. :
il. ;
24 cm.
Lecture notes in computer science ;
v. 4590
LNCS ;
v. 4590
Incluye referencias bibliográficas.
Lógica y significado de programas.
Verificación de programas.
Herramientas y técnicas.
Lógica matemática.
Asistencia de diseños.
Sistemas con propósito y aplicación especial.
Logics and meanings of programas.
Program verification.
Tools and techniques.
Mathematical logic.
Deducton and theorem proving.
Design aids.
Special-purpose application-based systems.
Hermanns, Holger,
1967-
Volume Editor
7455
LIBRO
MCR
2011-09-28
0
0
0
0
MMA
MMA
LN
2011-09-28
Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones
0.00
0
C LNCS v. 4590
21253
2011-09-28
2011-09-28
LIBRO
16229
16228