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
Díaz, Javier Roberto
(1)
Olsina Santos, Luis Antonio
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(2)
Software
(2)
Software development
(1)
Verification
(1)
derivación de programas
(1)
ingeniería de software
(1)
lógica de programacion
(1)
métodos formales
(1)
verificación formal
(1)
Show More
Show Less
Year
1998
(1)
2001
(1)
2004
(1)
2018
(1)
Show More
Show Less
Document Type
Tesis
(2)
Show More
Show Less
Language
Español
(2)
Show More
Show Less
Your search
Query:
PHYSICAL PROPERTIES"
Subject:
Software Libre
Repository:
37
Document Type:
Tesis
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.014 seconds)
Title:
Ingeniería de hipermedia : Modelo de proceso flexible para el soporte sistemático al desarrollo de aplicaciones de hipermedia
Author:
Olsina Santos, Luis Antonio
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Software development
/
ingeniería de software
Acceder
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
« Previous
1
Next »