ListarTesis (Ciencias de la Computación e Inteligencia Artificial) por materia "Programas y sistemas de programación"
Mostrando ítems 1-1 de 1
-
Tesis Doctoral
Verificación de programas en modelos de computación no convencionales
(2002)El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ...