Showing 1 - 1 results of 1 for search 'CAV (Conference) New Brunswick, N.J.)', query time: 0.01s
Refine Results
-
1
Computer aided verification /
Published 1996“…CAV (Conference) New Brunswick, N.J.)…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Asistencia de diseños
Deducción y prueba de teoremas
Deduction and theorem proving
Design aids
Logics and meanings of programs
Lógica matemática-Computación
Lógica y significado de programas
Mathematical logic-Computation
Program verification
Sistemas con propósito y aplicaciones especiales
Software-Herramientas y técnicas
Software-Tools and techniques
Special-purpose and application based systems
Verificación de programas