Uma Abordagem ao Problema de Mecanização de Especificações Axiomáticas de Tipos Abstratos de Dados
Autores
|
2986 |
Flávio Monastirscy
|
1363,1364
|
|
2987 |
Tarcísio H. C. Pequeno
(Orientador) |
1363,1364
|
Informações:
Publicações do PESC
Título
Uma Abordagem ao Problema de Mecanização de Especificações Axiomáticas de Tipos Abstratos de Dados
Linha de pesquisa
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
17/5/1988
Resumo
Abstract
Arquivo