Certificación formal de programas en un lenguaje funcional impaciente
Tesis doctoral de JavierDe Dios Castro En esta tesis se propone un metodo basado en la infraestructura pcc para convertir […]
Tesis doctoral de Victor M. Gulias Fernandez
Información academica Victor M. Gulias Fernandez. Tesis donde Victor M. Gulias Fernandez ha sido autor, director o parte del tribunal.
On the development life cycle of distributed functional applications: a case study
Tesis doctoral de Laura Milagros Castro Souto Datos académicos de la tesis doctoral «On the development life cycle of
Contribución a la factibilidad de sistemas de conmutación de altas prestaciones
Tesis doctoral de Miguel Rodelgo Lacruz El crecimiento de internet exige desarrollar nuevas tecnologías de transporte y conmutación que soporten
Dfl, computacion funcional distribuida
Tesis doctoral de Victor M. Gulias Fernandez La investigación se centra en la explotación de la programación concurrente funcional sobre