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
Cruz Quiroga, Luis Fernando
(1)
Díaz, Javier Roberto
(1)
Howell, Joel
(1)
Moreno, Wilfrido
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(1)
Ciencias de la Educación
(1)
Ingeniería
(1)
Software
(1)
Verification
(1)
derivación de programas
(1)
employability
(1)
engineering
(1)
ethical
(1)
integral
(1)
Show More
Show Less
Year
2018
(2)
2001
(1)
2019
(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
Query:
PROGRAM"
Subject:
Software engineering
Repository:
37
Year:
2018
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.011 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:
Integral Formation for the Engineering for Peace from a Systemic and Interdisciplinary Perspective
Author:
Cruz Quiroga, Luis Fernando
/
Howell, Joel
/
Moreno, Wilfrido
Language:
Español
Repository:
37
Subject:
Ingeniería
/
Ciencias de la Educación
/
employability
/
engineering
/
ethical
/
integral
/
peace
/
interdisciplinary
Acceder
« Previous
1
Next »