Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (2)
- Henzinger, Thomas A. (2)
- Sontag, Eduardo D. (1)
-
Tipos de ítem
- Libro (2)
-
Ubicaciones
-
Series
- Lecture notes in com... (2)
- LNCS (2)
-
Temas
- Analysis of algorith... (1)
- Análisis de algoritm... (1)
- Asistencia de diseño... (1)
- Computation by abstr... (1)
- Deducción y prueba d... (1)
- Deduction and theore... (1)
- Design aids (1)
- Hybrid systems (1)
- Logics and meanings ... (1)
- Lógica matemática-Co... (1)
- Lógica y significado... (1)
- Mathematical logic-C... (1)
- Sistemas con propósi... (1)
- Sistemas con propósi... (1)
- Software-Herramienta... (1)
- Software-Requerimien... (1)
- Software-Requirement... (1)
- Special-purpose and ... (1)
- Special-purpose and ... (1)
- Verificación de prog... (1)
- Mostrar más
- Mostrar menos