Optimizacion y analisis de especificaciones funcionales. un enfoque hacia la automatizacion

Tesis doctoral de Cristobal Pareja Flores Este trabajo se situa en el area de las transformaciones algebraicas de programas funcionales […]

, , , , ,