Showing 1 - 1 results of 1 for search 'Ball, Thomas, 1965-', query time: 0.01s
Refine Results
-
1
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Other Authors: “…Ball, Thomas, 1965-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Artificial intelligence
Asistencia de diseños
Deducción y prueba de teoremas
Deduction and theorem proving
Design aids
Inteligencia artificial
Lenguajes de programación
Lógica matemática
Mathematical logic
Program verification
Programming languages
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