A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
21
(1)
Show More
Show Less
Author
Quiroga Cubides, Alvaro Francisco
(1)
Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes
(1)
Show More
Show Less
Subject
Ingeniería de software - Aplicaciones
(1)
Java (Lenguaje de programación de computadores) - Aplicaciones
(1)
Verificación de programas para computador
(1)
Show More
Show Less
Year
2006
(1)
2018
(1)
Show More
Show Less
Document Type
Tesis
(1)
Show More
Show Less
Language
Español
(1)
Show More
Show Less
Your search
Year:
2020
Year:
2007
Year:
2010
Year:
2014
Year:
2004
Year:
2006
Year:
2018
Year:
2012
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:
Tesis
Language:
Inglés
Repository:
21
Subject:
Java (Lenguaje de programación de computadores) - Aplicaciones
Sort by
Score
Title
Year
-
1-1 from
1
results
(0.028 seconds)
Title:
Jprove - una plataforma de verificación para Java
Author:
Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes
/
Quiroga Cubides, Alvaro Francisco
Language:
Español
Repository:
21
Subject:
Java (Lenguaje de programación de computadores) - Aplicaciones
/
Ingeniería de software - Aplicaciones
/
Verificación de programas para computador
Acceder
« Previous
1
Next »