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:
2016
Year:
2017
Year:
2007
Year:
2005
Year:
2013
Year:
2003
Year:
2009
Year:
2004
Author:
Tesis (Magíster en Ingeniería de Sistemas y Computación) -- Universidad de los Andes
Author:
Quiroga Cubides, Alvaro Francisco
Repository:
53
Repository:
21
Document Type:
Sin Especificar
Subject:
Desarrollo de programas para computador
Subject:
Java (Lenguaje de programación de computadores) - Aplicaciones
1-1 from 1 results
(0.026 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