Construcción de un compilador de asertos de programación metódica

Siempre ha existido la necesidad de validar la codificación de un programa. Este proyecto tiene como objetivo la implementación de un compilador que, mediante notaciones matemáticas que especifican un programa, genere las instrucciones de manera automática. El resultado tiene como principal caracter...

Descripción completa

Autor Principal: Berolatti Gonzales, Diego
Formato: Tesis de Licenciatura
Idioma: Español
Publicado: Pontificia Universidad Católica del Perú 2014
Materias:
Acceso en línea: http://tesis.pucp.edu.pe/repositorio/handle/123456789/5724
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares Similares