Complutense University Library

Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude

Riesco Rodríguez, Adrián (2012) Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude. Tesis PhD.

[img]
Preview
PDF
7MB
View download statistics for this eprint

==>>> Export to other formats

Item Type:Thesis (PhD)
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:
DirectorsDirector email
Verdejo López, José Alberto UNSPECIFIED
Martí Oliert, NarcisoUNSPECIFIED
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

Repository Staff Only: item control page