Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
- CD/DVD de datos (1)
- Magister (1)
- Tesis de Doctorado (2)
- Trabajo Especial de Grado (2)
-
Ubicaciones
- Depósito Interno (1)
- Secc. Tesis y Trabajos especiales (2)
- Vitrina (2)
-
Temas
- Logic (2)
- Lógica deóntica (1)
- Lógicas deónticas (1)
- Model checking (2)
- Model theory (1)
- Métodos formales (2)
- Operating systems (1)
- Program Verification (1)
- Software (2)
- Tolerancia a fallas (2)
- Verificación de Prog... (1)
- Verificación de soft... (1)
- Verification by mode... (1)
- Mostrar más
- Mostrar menos