Búsqueda avanzada
Añadir filtros:
Usa los filtros para afinar la búsqueda.
Resultados de la búsqueda 1-2 de 2.
- Anterior
- 1
- Siguiente
Seleccionar recurso:
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
![]() | Lógica de Hoare para programación funcional | López García, Gilberto Isaac | 2021 |
![]() | Verificación formal de árboles rojinegros | Hernández Chiapa, David Felipe | 2021 |
Recursos por:
Nivel académico