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
33
(1)
37
(1)
Show More
Show Less
Author
Díaz, Javier Roberto
(1)
González Gómez, Manuel
(1)
González Martínez, Jose Manuel
(1)
Polome -, Philippe
(1)
Vázquez Rodríguez, María Xosé
(1)
Show More
Show Less
Subject
5399 Otras Especialidades económicas
(1)
Ciencias Informáticas
(1)
Software
(1)
Verification
(1)
derivación de programas
(1)
lógica de programacion
(1)
métodos formales
(1)
verificación formal
(1)
Show More
Show Less
Year
2001
(2)
2018
(2)
Show More
Show Less
Document Type
Libro
(1)
Tesis
(1)
Show More
Show Less
Language
Español
(2)
Show More
Show Less
Your search
Query:
MODELING
Year:
2018
Year:
2001
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.01 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:
Valoración económica del patrimonio natural
Author:
González Gómez, Manuel
/
Polome -, Philippe
/
González Martínez, Jose Manuel
/
Vázquez Rodríguez, María Xosé
Language:
Español
Repository:
33
Subject:
5399 Otras Especialidades económicas
Acceder
« Previous
1
Next »