Showing 1 - 1 results of 1 for search 'CAV (Conference) Haifa, Israel)', query time: 0.01s
Refine Results
-
1
Computer aided verification : proceedindings /
Published 1997“…CAV (Conference) Haifa, Israel)…”
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
Lógica y significado de programas
Mathematical logic
Program verification
Sistemas con propósito y aplicación especial
Software-Herramientas y técnicas
Software-Tools and Techniques
Special-purpose and application-based systems
Verificación de programas