Ir para o conteúdo
GovBR

The Modularization Theorem for Unsorted and Many-sorted Specifications

Autores

594
Paulo Augusto Veloso
179

Informações:

Publicações do PESC

Título
The Modularization Theorem for Unsorted and Many-sorted Specifications
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-284/93
Data
7/1993
Resumo
Abstract
Arquivo
Topo
Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga. Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga.