Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017.

Bibliographic Details
Main Author: Rearte, Lucas Agustín
Other Authors: Cherini, Renato, dir.
Format: bachelorThesis
Language:spa
Published: 2018
Subjects:
Online Access:http://hdl.handle.net/11086/5838
Description
Summary:Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017.