Refine your Search
Author
- Quiroga Cubides, Alvaro Francisco (1)
- Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes (1)
Subject
- Ingeniería de software - Aplicaciones (1)
- Java (Lenguaje de programación de computadores) - Aplicaciones (1)
- Verificación de programas para computador (1)
Language
Your search
Year:
2012
Year:
2014
Year:
2006
Year:
2018
Author:
Tesis (Magíster en Ingeniería de Sistemas y Computación) -- Universidad de los Andes
Author:
Tesis (Magíster en Ingeniería de Software) -- Universidad de los Andes
Author:
Quiroga Cubides, Alvaro Francisco
Document Type:
Desconocido
Document Type:
Tesis
Repository:
21
Subject:
Java (Lenguaje de programación de computadores) - Aplicaciones
1-1 from 1 results
(0.024 seconds)
-
Title: Jprove - una plataforma de verificación para JavaAuthor: Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes / Quiroga Cubides, Alvaro FranciscoLanguage: EspañolRepository: 21
« Previous
1
Next »
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723