Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Fecha de publicación: | 2012 |
| País: | España |
| Repositorio: | Docta Complutense |
| Idioma: | inglés |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/48009 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/48009 |
| Access Level: | acceso abierto |
| Palabra clave: | 004.42.048(043.2) Declarative debugging Maude Depuración declarativa Programación declarativa Lenguajes de programación 1203.23 Lenguajes de Programación |
| Descripción no disponible. |