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
(20)
34
(1)
53
(1)
Show More
Show Less
Author
Aguirre, Nazareno Matías
(2)
Novaira, Maria Marta
(2)
Permigiani, Sonia
(2)
Abrate, Raquel Susana
(1)
Aguilar Rodríguez, Adriana
(1)
Aguirre, Jorge
(1)
Banchoff Tzancoff, Claudia M.
(1)
Baum, Gabriel Alfredo
(1)
Bavera, Francisco
(1)
Benavidez Córdova, Vaneza
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(20)
Software
(19)
Educación
(8)
universidad
(5)
Computer Uses in Education
(3)
Learning
(3)
Verification
(3)
software educativo
(3)
Lenguajes de Programación
(2)
educación especial
(2)
Show More
Show Less
Year
2005
(22)
2012
(20)
2015
(1)
2016
(1)
Show More
Show Less
Document Type
Sin Especificar
(22)
Show More
Show Less
Language
Español
(18)
Inglés
(4)
Show More
Show Less
Your search
Year:
2005
Subject:
Software Program Verification
Document Type:
Sin Especificar
Sort by
Score
Title
Year
-
21-22 from
22
results
(0.026 seconds)
Title:
CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author:
Bavera, Francisco
/
Nordio, Martín
/
Medel, Ricardo
/
Aguirre, Jorge
/
Baum, Gabriel Alfredo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Verification
/
Lenguajes de Programación
/
Compilers
/
Security
Acceder
Title:
Hacia la composición paralela de programas en DynAlloy
Author:
Aguirre, Nazareno Matías
/
Novaira, Maria Marta
/
Permigiani, Sonia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Lenguajes de Programación
/
Formal methods
/
lenguaje de especificaciones
/
Verification
/
validación de propiedades
/
operador para composición paralela
/
Validation
Acceder
« Previous
1
2
3
Next »