Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
| Autor: | |
|---|---|
| Tipo de documento: | tese |
| Data de publicação: | 2012 |
| País: | España |
| Recursos: | Universidad Complutense de Madrid (UCM) |
| Repositório: | Docta Complutense |
| Idioma: | inglês |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/48009 |
| Acesso em linha: | https://hdl.handle.net/20.500.14352/48009 |
| Access Level: | Acceso aberto |
| Palavra-chave: | 004.42.048(043.2) Declarative debugging Maude Depuración declarativa Programación declarativa Lenguajes de programación 1203.23 Lenguajes de Programación |
| Descrição não disponível. |