Return to the institutional site
xmlui.mirage2.page-structure.toggleNavigation
español
English
View Item
Séneca Home
TRABAJOS DE GRADO
Maestría
View Item
xmlui.mirage2.page-structure.toggleNavigation
español
English
Séneca Home
TRABAJOS DE GRADO
Maestría
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search Séneca
This Collection
Browse
All of Séneca
Communities and Collections
Faculties and Programs
Authors
Titles
Subjects
Types of contents
Author profiles
This Collection
Faculties and Programs
Authors
Titles
Subjects
Types of contents
My Account
Login
Register
Statistics
View Usage Statistics
Information of interest
What is Séneca
How publish
Guidelines
Contact us
Jprove - una plataforma de verificación para Java
URI:
http://hdl.handle.net/1992/9197
Author:
Quiroga Cubides, Alvaro Francisco
Director(s)/Advisor(s):
Cardoso Rodríguez, Rodrigo
Publication date:
2006
Content type:
masterThesis
Keywords:
Java (Lenguaje de programación de computadores) - Aplicaciones
Ingeniería de software - Aplicaciones
Verificación de programas para computador
Show full item record
Files in this item
Name:
u276481.pdf
Size:
299.4Kb
Format:
PDF
Statistics
View Usage Statistics