OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

21 (1)

Show More Show Less

Author

Quiroga Cubides, Alvaro Francisco (1)
Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes (1)

Show More Show Less

Subject

Ingeniería de software - Aplicaciones (1)
Java (Lenguaje de programación de computadores) - Aplicaciones (1)
Verificación de programas para computador (1)

Show More Show Less

Year

2006 (1)
2018 (1)

Show More Show Less

Document Type

Tesis (1)

Show More Show Less

Language

Español (1)

Show More Show Less

Your search

Repository: 21 Repository: 40 Repository: 22 Author: Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes Author: Quiroga Cubides, Alvaro Francisco Year: 2019 Year: 2005 Year: 2014 Year: 2012 Subject: Desarrollo de programas para computador Subject: Algoritmos (Computadores) - Aplicaciones Language: Español

Sort by Score Title Year -

1-1 from 1 results (0.024 seconds)

Title: Jprove - una plataforma de verificación para Java
Author: Tesis (Magíster en Ingeniería Sistemas) -- Universidad de los Andes / Quiroga Cubides, Alvaro Francisco
Language: Español
Repository: 21
Subject: Java (Lenguaje de programación de computadores) - Aplicaciones / Ingeniería de software - Aplicaciones / Verificación de programas para computador

Acceder

« 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