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
Author:
Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes
Author:
Quiroga Cubides, Alvaro Francisco
Year:
2020
Year:
2004
Year:
2007
Year:
2014
Year:
2019
Year:
2013
Year:
2005
Year:
2006
Year:
2018
Year:
2008
Repository:
54
Repository:
68
Document Type:
Tesis
Subject:
Desarrollo de programas para computador
Subject:
Java (Lenguaje de programación de computadores) - Aplicaciones
Subject:
Java (Lenguaje de programación de computadores)
1-1 from 1 results
(0.028 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