xmlui.mirage2.page-structure.toggleNavigation
Language
español
English
Login
Toggle navigation
What is Séneca
How publish
Guidelines
Contact us
View Item
Séneca Home
Facultad de Ingeniería
Departamento de Ingeniería de Sistemas y Computación
Maestría en Ingeniería de Sistemas y Computación
Tesis/Trabajos de Grado
View Item
xmlui.mirage2.page-structure.toggleNavigation
español
English
Séneca Home
Facultad de Ingeniería
Departamento de Ingeniería de Sistemas y Computación
Maestría en Ingeniería de Sistemas y Computación
Tesis/Trabajos de Grado
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
Authors
Titles
Theme
Types of contents
Author profiles
This Collection
Faculties and Programs
Authors
Titles
Theme
Types of contents
My Account
Login
Register
Statistics
View Usage Statistics
Jprove - una plataforma de verificación para Java
Gestores bibliográficos
URI
http://hdl.handle.net/1992/9197
Collections
Tesis/Trabajos de Grado
[420]
Author
Quiroga Cubides, Alvaro Francisco
Director(s)/Advisor(s)
Cardoso Rodríguez, Rodrigo
Publication date
2006
Content type
Trabajo de grado - Maestría
Keywords
Java (Lenguaje de programación de computadores) - Aplicaciones
Ingeniería de software - Aplicaciones
Verificación de programas para computador
Statistics
View Usage Statistics
Show full item record
Portada
Name:
u276481.pdf
PDF
VER
Cita
Cómo citar
Cómo citar
Formato de cita
APA
ISO 690-2
Chicago
MLA
Vancouver
Harvard
Cerrar
Código QR
![[PDF]](/themes/Mirage2/images/thumbnails/pdf.png "pdf")
PDF
