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.
| 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: | | Directors | Director 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 10:08 |
|---|
| Last Modified: | 23 Jan 2012 10:08 |
|---|
Repository Staff Only: item control page
![[img]](/style/images/fileicons/application_pdf.png)
