Universidade Federal do Maranhão
Biblioteca Digital de Teses e Dissertações
Navegando por Assunto Z Formal Language
Mostrando resultados 1 a 1 de 1
| Data de defesa | Pré-visualização | Título | Autor | Orientador | Programa | Tipo de documento |
|---|---|---|---|---|---|---|
| 29-Jul-2011 | FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z | MENDES, Carlos César Gomes | ABDELOUAHAB, Zair | PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DE ELETRICIDADE/CCET | Dissertação |