Showing 1 - 1 results of 1 for search 'CAV (Conference) Berlin, Germany)', query time: 0.01s
Refine Results
-
1
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007“…CAV (Conference) Berlin, Germany)…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Asistencia de diseños
Deducton and theorem proving
Design aids
Herramientas y técnicas
Logics and meanings of programas
Lógica matemática
Lógica y significado de programas
Mathematical logic
Program verification
Sistemas con propósito y aplicación especial
Special-purpose application-based systems
Tools and techniques
Verificación de programas