| Título: | Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude |
| Autores: | Riesco Rodríguez, Adrián |
| Tipo de documento: | texto impreso |
| Editorial: | Unviersidad Complutense de Madrid, Servicio de Publicaciones, 2011-06-15 |
| Dimensiones: | application/pdf |
| Nota general: | info:eu-repo/semantics/openAccess |
| Idiomas: | |
| Palabras clave: | Estado = Publicado , Materia = Ciencias: Informática: Lenguajes de programación , Tipo = Tesis |
| En línea: | https://eprints.ucm.es/id/eprint/14454/1/T33189.pdf |
Ejemplares
| Estado |
|---|
| ningún ejemplar |
