Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems:
-
Autores
- Alur, Rajeev (1)
- Ball, Thomas (1)
- Brinksma, Ed (1)
- Broy, Manfred (1)
- Grumberg, Orna (1)
- Gupta, Aarti (1)
- Henzinger, Thomas A. (1)
- Hermanns, Holger (1)
- Hlawiczka, Andrzej (1)
- Jones, Robert Brent (1)
- Kowalewski, Stefan (1)
- Malik, Sharad (1)
- Margaria, Tiziana (1)
- Merz, Stephen (1)
- Philippou, Anna (1)
- Simoncini, Luca (1)
- Spies, Katharina (1)
- Steffen, Bernhard (1)
- Tschudin, Christian (1)
- Vitek, Jan (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (11)
-
Ubicaciones
-
Series
- Lecture notes in com... (11)
- LNCS (7)
-
Temas
- Artificial intellige... (2)
- Asistencia de diseño... (5)
- Deducción y prueba d... (3)
- Deduction and theore... (3)
- Design aids (5)
- Distributed systems (3)
- Inteligencia artific... (2)
- Logics and meanings ... (5)
- Lógica matemática (4)
- Lógica y significado... (6)
- Mathematical logic (4)
- Mathematical logic-C... (1)
- Program verification (10)
- Reliability (1)
- Sistemas con propósi... (4)
- Sistemas distribuido... (3)
- Software-Herramienta... (6)
- Software-Tools and t... (4)
- Special-purpose and ... (4)
- Verificación de prog... (10)
- Mostrar más
- Mostrar menos