- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas complejos 1
- Asistencia de diseños 1
- Computación mediante dispositivos abstractos 1
- Computation by abstract devices 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Design aids 1
- Hybrid systems 1
- Logics and meanings of programs 1
- Lógica matemática-Computación 1
- Lógica y significado de programas 1
- Mathematical logic-Computation 1
- Program verification 1
- Programas-Especificación 1
- Programas-Verificación 1
- Programs-Specification 1
- Programs-Verification 1
- Sistemas con propósito y aplicaciones especiales 1
- Sistemas con propósitos y aplicaciones especiales 1
- Sistemas híbridos 1
- Software-Herramientas y técnicas 1
- Software-Requerimientos y aplicaciones 1
- Software-Requirements and applications 1
- Software-Tools and techniques 1
- Special-purpose and application based systems 1
- Special-purpose and application-based systems 1
- Verificación de programas 1
-
1
Computer aided verification /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Hybrid systems III : verification and control /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book