LEFEx: Linguagem de Especificação Formal Documento

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

orientado por

• PROF. DR. JOÃO BOSCO DA MOTA ALVES

tipo

• master thesis

data de publicação

• 1992-01-01

Pesquisas

áreas de investigação

• Compiladores Dedicados
• Linguagens de Programação

palavras-chave

• Especificação Formal Executável
• Linguagem de Especificação Formal

Identidade

identificador BrCris

• c842b3c204b938c987290f2f04a64848