Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

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

Simple item page
dc.contributor.advisorVerdejo López, José Alberto
dc.contributor.advisorMartí Oliert, Narciso
dc.contributor.authorRiesco Rodríguez, Adrián
dc.date.accessioned2023-06-20T06:49:28Z
dc.date.available2023-06-20T06:49:28Z
dc.date.defense2011-06-15
dc.date.issued2012-01-20
dc.descriptionTesis de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 15-06-2011
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/14454
dc.identifier.isbn978-84-695-1107-7
dc.identifier.urihttps://hdl.handle.net/20.500.14352/48009
dc.language.isoeng
dc.page.total157
dc.publication.placeMadrid
dc.publisherUnviersidad Complutense de Madrid, Servicio de Publicaciones
dc.rights.accessRightsopen access
dc.subject.cdu004.42.048(043.2)
dc.subject.keywordDeclarative debugging
dc.subject.keywordMaude
dc.subject.keywordDepuración declarativa
dc.subject.keywordProgramación declarativa
dc.subject.ucmLenguajes de programación
dc.subject.unesco1203.23 Lenguajes de Programación
dc.titleDepuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
dc.typedoctoral thesis
dspace.entity.typePublication
relation.isAdvisorOfPublicationfdcba7f2-108a-46f4-bf49-c292a5b81953
relation.isAdvisorOfPublication.latestForDiscoveryfdcba7f2-108a-46f4-bf49-c292a5b81953
relation.isAuthorOfPublication068dda11-d320-4634-a908-28a4bc4b0eb4
relation.isAuthorOfPublication.latestForDiscovery068dda11-d320-4634-a908-28a4bc4b0eb4

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
T33189.pdf
Size:
7.23 MB
Format:
Adobe Portable Document Format
downoload Download

Collections

Tesis Doctorales