RT Dissertation/Thesis T1 Formalizando el proceso de depuración en programación funcional paralela y perezosa A1 Encina Vara, Alberto De La PB Universidad Complutense de Madrid, Servicio de Publicaciones SN 978-84-692-1748-1 YR 2009 FD 2009-04-16 LK https://hdl.handle.net/20.500.14352/48644 UL https://hdl.handle.net/20.500.14352/48644 LA spa NO Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Computación, leída el 19-06-2008 DS Docta Complutense RD 5 abr 2026