Publicações do Pesc Uma Abordagem ao Problema de Mecanização de Especificações Axiomáticas de Tipos Abstratos de Dados

Autores

id	Tipo	Autor ou Orientador	url
2986	Autor	Flávio Monastirscy	1363,1364
2987	Orientador	Tarcísio H. C. Pequeno	1363,1364

Teses, Dissertações e Outros

Título

Uma Abordagem ao Problema de Mecanização de Especificações Axiomáticas de Tipos Abstratos de Dados

Número de registro

Data

17/5/1988

Resumo

Abstract

Arquivo