Refine your Search
Author
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
Repository:
21
Repository:
28
Repository:
27
Author:
Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes
Author:
Quiroga Cubides, Alvaro Francisco
Year:
2019
Year:
2005
Year:
2003
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.023 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