Ir para o conteúdo
GovBR

Logical Specifications: 4.A Interpretations of Unsorted Specifications

Autores

793
Paulo Augusto Veloso
179,340
794
Thomas S. E. Maibaum
179,340

Informações:

Publicações do PESC

Título
Logical Specifications: 4.A Interpretations of Unsorted Specifications
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-379/96
Data
3/1996
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.