Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (1)
- Baeten, Josephus Cor... (1)
- Blanco, Javier Oscar (2)
- Bradley, Aaron R. (1)
- Brandán Briones, Lau... (1)
- Brinksma, Ed (1)
- D'Argenio, Pedro Rub... (5)
- Fridlender, Daniel E... (1)
- Grumberg, Orna (1)
- Hlawiczka, Andrzej (1)
- Jones, Robert Brent (1)
- Kroening, Daniel (1)
- Kurbán, Marcos Emanu... (1)
- Mancuso, Bruno (1)
- Misra, Jayadev (1)
- Philippou, Anna (1)
- Simoncini, Luca (1)
- Tschudin, Christian (1)
- Vitek, Jan (1)
- Wolovick, Nicolás (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (18)
- Revista (1)
- Tesis de Doctorado (2)
- Trabajo Especial de Grado (7)
-
Ubicaciones
-
Series
-
Temas
- Artificial intellige... (2)
- Asistencia de diseño... (6)
- Concurrent programmi... (4)
- Deducción y prueba d... (3)
- Deduction and theore... (3)
- Design aids (6)
- Distributed systems (3)
- Logics and meanings ... (5)
- Lógica matemática (6)
- Lógica y significado... (6)
- Mathematical logic (6)
- Program verification (23)
- Programación concurr... (4)
- Sistemas con propósi... (4)
- Sistemas distribuido... (3)
- Software-Herramienta... (6)
- Software-Tools and t... (4)
- Special-purpose and ... (4)
- Verificación de prog... (17)
- Mostrar más
- Mostrar menos