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

Impacto

Downloads

Downloads per month over past year

View download statistics for this eprint

Buscar en Google Scholar™

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

==>>> 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:	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