Showing 1 - 2 results of 2 for search 'Henzinger, Thomas A.', query time: 0.01s
Refine Results
-
1
Computer aided verification /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
2
Hybrid systems III : verification and control /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Analysis of algorithms and problem complexity
Análisis de algoritmos y problemas complejos
Asistencia de diseños
Computación mediante dispositivos abstractos
Computation by abstract devices
Deducción y prueba de teoremas
Deduction and theorem proving
Design aids
Hybrid systems
Logics and meanings of programs
Lógica matemática-Computación
Lógica y significado de programas
Mathematical logic-Computation
Program verification
Programas-Especificación
Programas-Verificación
Programs-Specification
Programs-Verification
Sistemas con propósito y aplicaciones especiales
Sistemas con propósitos y aplicaciones especiales
Sistemas híbridos
Software-Herramientas y técnicas
Software-Requerimientos y aplicaciones
Software-Requirements and applications
Software-Tools and techniques
Special-purpose and application based systems
Special-purpose and application-based systems
Verificación de programas