Aplicação de Especificação Formal na Modelagem do Controle de Operação de um DVD Player.
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
produzido em
- INFORMÁTICA Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2004-01-01
prêmio patrocinado pela
- INSTITUTO NACIONAL DE PESQUISAS DA AMAZÔNIA Organização