Computer aided verification
proceedindings
CAV (Conference) 1997 : Haifa, Israel)
creator
Grumberg, Orna
ed.
text
gw|
Berlin
Springer
1997
monographic
ng
xi, 486 p. ; 24 cm.
ed. Orna Grumberg.
Incluye referencias bibliográficas.
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
Lecture notes in computer science ; v. 1254
LNCS ; v. 1254
3540631666
AR_CdUFM
100811
20160908123235.0