Maude Object-Oriented Action Tool
| Autores | Maidl, André Murbach,; Carvilhe, Cláudio,; Musicante, Martin A., | |
|---|---|---|
| Data | 2013-05-24 | |
| Palavras-chave | Formal Semantics. Maude. Object-Oriented Action Semantics. | |
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/1/6231 | |
| Coleções | CCET - DIMAP - Artigos publicados em periódicos |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- ARTIGO 3.pdf
- Tamanho:
- 337.89 KB
- Formato:
- Adobe Portable Document Format
Carregando...
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
Nenhuma Miniatura disponível