Aproximadamente 2 registro(s) hasta el momento: (java)
Mostrar 10 | 50 | 100 resultados por página
Recurso libre 
1.
Análisis modular y recuperación de contraejemplos en TACO
Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
Formato: Objeto de conferencia, Objeto de conferencia
Enlaces:
Fecha: 2012-07-19
Recurso: Unversidad Nacional de La Plata

Recurso libre 
2.
Diseño e implementación de un generador de evaluadores concurrentes para gramáticas de atributos NC(1)
Arroyo, Marcelo - Aguirre, Jorge - Florio, Nicolas
Formato: Objeto de conferencia, Objeto de conferencia
Enlaces:
Fecha: 2012-10-29
Recurso: Unversidad Nacional de La Plata