Sofia Maria Figueiredo Cardoso

Ações disponíveis

Ações disponíveis ao leitor

Consultar no telemóvel

Código QR do registo

Partilhar

 

Sofia Maria Figueiredo Cardoso

Detalhes do registo

Nível de descrição

Documento composto   Documento composto

Código de referência

PT/FCT/JNICT/DSPP-DFACC/002/0290/2490

Tipo de título

Formal

Título

Sofia Maria Figueiredo Cardoso

Datas de produção

1992-05-19  a  1993-03-15 

Dimensão e suporte

Papel A4

Âmbito e conteúdo

Contém o processo de atribuição de Bolsa para Jovens Investigadores (BJI), no âmbito do Programa de Formação e Mobilidade de Recursos Humanos, com o nº 965/92, a Sofia Maria Figueiredo Cardoso, para participação em projeto PMCT/C/TIT/178/90, com o título "Semântica de linguagens de programação orientadas a objectos", no Grupo de Ciência da Computação no Instituto de Engenharia de Sistemas e Computadores, Lisboa.Responsável pela formação: José Félix Gomes da Costa.Foi elaborado um relatório com o título: "Model-checking. Propriedades temporais de diagramas de comportamento".

Localização física

PT/FCT/ACT-ÁREA A/21/06/4

Cota descritiva

A.21.06.4

Cota original

007959/2490

Idioma e escrita

por (português)

Características físicas e requisitos técnicos

Bom estado

Unidades de descrição relacionadas

Relação complementar: PMCT/C/TIT/178/90 [I] (Ui), cota 002176.Relação complementar: PMCT/C/TIT/178/90 [II] (Ui), cota 002177.Relação complementar: PMCT/C/TIT/178/90 [III] (Ui), cota 002178.