Uma Abordagem Ao Problema de Mecanizacao de Especificacoes Axiomaticas Para Tipos Abstratos de Dados
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
produzido em
tipo
- master thesis
autores
data de publicação
- 1988-01-01
prêmio patrocinado pela
- Universidade Federal do do Rio de Janeiro Organização