Impacto
Downloads
Downloads per month over past year
Riesco Rodríguez, Adrián (2012) Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude. [Thesis]
![]() Preview |
PDF
7MB |
Item Type: | Thesis |
---|---|
Additional Information: | Tesis de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 15-06-2011 |
Directors: | Directors Verdejo López, José Alberto Martí Oliert, Narciso |
Uncontrolled Keywords: | Declarative debugging, Maude, Depuración declarativa, Programación declarativa |
Subjects: | Sciences > Computer science > Programming languages (Electronic computers) |
ID Code: | 14454 |
Deposited On: | 23 Jan 2012 09:08 |
Last Modified: | 06 Feb 2014 10:02 |
Origin of downloads
Repository Staff Only: item control page