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. [Thesis]

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

==>>> Export to other formats


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:
DirectorsDirector email
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

Repository Staff Only: item control page