The Modularization Theorem for Unsorted and Many-sorted Specifications

© 2015 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

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)