On the Construction of Logical Specifications by Conservative Extensions

id		url
961	Paulo Augusto Veloso	179

447

Título

Linha de pesquisa

Tipo de publicação

Relatório Técnico

Número de registro

ES-447/97

Data

8/1997

tituloi

Resumo

Abstract

Arquivo

url

Avenida Horácio Macedo 2030, Centro de Tecnologia, Bloco H, sala 319
Cidade Universitária - CEP: 21941-914

Correspondências: Caixa postal: 68511 - CEP: 21941-972

Rio de Janeiro - RJ - Brasil

Telefones: +55 21 3938-8672 / +55 21 3938-8673 - Fax: +55 21 3938-8676

Horário de atendimento da Secretaria: 2ª a 6ª de 7:00 às 16:00 horas (exceto feriados escolares)