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

37 (2)

Show More Show Less

Author

Anabalon, Diego (1)
Cechich, Alejandra (1)
Corgatelli, Franco (1)
De Renzis, Alan (1)
Díaz, Javier Roberto (1)
Flores, Andrés P. (1)
Garriga, Martín (1)
Moyano, Marcelo (1)

Show More Show Less

Subject

Ciencias Informáticas (2)
Verification (2)
Software (1)
Validation (1)
Web-based services (1)
calidad de software (1)
derivación de programas (1)
ingeniería de software basada en reuso (1)
lógica de programacion (1)
métodos formales (1)

Show More Show Less

Year

2018 (2)
2001 (1)

Show More Show Less

Document Type

Sin Especificar (1)
Tesis (1)

Show More Show Less

Language

Español (2)

Show More Show Less

Your search

Year: 2018 Author: M. D*** Subject: Verification Repository: 37

Sort by Score Title Year -

1-2 from 2 results (0.031 seconds)

Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder
Title: Evaluación de compatibilidad y complejidad para el reuso de servicios
Author: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, Alan / Anabalon, Diego / Corgatelli, Franco
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ingeniería de software basada en reuso / Web-based services / software orientado a servicios / Verification / calidad de software / Validation

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