Búsqueda avanzada
Añadir filtros:
Usa los filtros para afinar la búsqueda.
Resultados de la búsqueda 1-1 de 1.
- Anterior
- 1
- Siguiente
Seleccionar recurso:
| Vista previa | Título | Sustentante | Fecha de publicación |
|---|---|---|---|
 | Implementación de un verificador de modelos CTL simbólico en Haskell | Fernández Chaparro Plata, Javier Diego | 2019 |
Recursos por:
Nivel académico
Asesor