Soporte para ARM en un compilador verificado
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.
Guardado en:
| Autor principal: | Arranz Olmos, Santiago |
|---|---|
| Otros Autores: | Pagano, Miguel María |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/546410 |
| Aporte de: |
Ejemplares similares
-
Fuzzing multiplataforma guiado con ejecución concólica
por: Aznarez Rojo, Gastón
Publicado: (2024) -
Arms control and cooperative security /
Publicado: (2009) -
Desafíos de la videovigilancia automatizada
por: Pérez Esquivel, Andrés
Publicado: (2021) -
The global spread of arms : political economy of international security /
por: Pearson, Frederic S.
Publicado: (1994) -
Private matters : in defense of the personal life /
por: Smith, Janna Malamud
Publicado: (1997)