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.

Bibliographic Details
Main Author: Arranz Olmos, Santiago
Other Authors: Pagano, Miguel María
Format: bachelorThesis
Language:spa
Published: 2023
Subjects:
Online Access:http://hdl.handle.net/11086/546410
Description
Summary: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.