Formalización de fundaciones de la matemática y compiladores correctos por construcción

Mostrar todas las versiones(2)

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

Guardado en:
Detalles Bibliográficos
Autor principal: Gunther, Emmanuel
Otros Autores: Pagano, Miguel María
Formato: publishedVersion doctoralThesis
Lenguaje:Español
Publicado: 2019
Materias:
Diseño de compiladores
Formalización de matemática
Teoría de conjuntos
Programación con tipos dependientes
Theory of computation
Logic and verification
Software verification
Type Theory
Software and its engineering
Compilers
Forcing
Acceso en línea:http://hdl.handle.net/11086/14372
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares