PBIC/MAT/1631/93 - PBIC/MAT/1629/93

Ações disponíveis

Ações disponíveis ao leitor

Consultar no telemóvel

Código QR do registo

Partilhar

 

PBIC/MAT/1631/93 - PBIC/MAT/1629/93

Detalhes do registo

Nível de descrição

Unidade de instalação   Unidade de instalação

Código de referência

PT/FCT/JNICT/DSPP-DGP/001/1033

Tipo de título

Atribuído

Título

PBIC/MAT/1631/93 - PBIC/MAT/1629/93

Datas de produção

1993  a  1994 

Dimensão e suporte

0,34 x 0,08 - papel A4

Extensões

0,08 Metros linear

Âmbito e conteúdo

Contém 2 processos de financiamento, no âmbito do Programa Base de Investigação Científica e Tecnológica, dos seguintes projectos:- "Física-Matemática" (PBIC/MAT/1631/93), proposto e executado pela Fundação da Universidade de Lisboa, com a participação do Departamento de Matemática Pura da Universidade do Porto, Departamento de Faculdade de Ciências e Tecnologia da Universidade de Coimbra e do Departamento de Matemática da Universidade Évora. Investigador responsável: Ana Bela Ferreira Cruzeiro;- "Especificações Executáveis e Verificáveis de Sistemas Concorrentes: Linguagens e Modelos" (PBIC/MAT/1629/93), proposto e executado pelo Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, com a participação da Faculdade de Engenharia e de Computadores, da Faculdade de Ciências e Tecnologia da Universidade de Coimbra e da Fundação da Faculdade de Ciências da Universidade de Lisboa. Investigador responsável: Luís Fernando Lopes Monteiro

Áreas científicas

Localização física

PT/FCT/ACT-ÁREA A/05/10/5

Cota descritiva

A.05.10.5

Cota original

002808

Idioma e escrita

por (português) e eng (inglês).

Características físicas e requisitos técnicos

Regular

Tipo u.i.

Unidades de descrição relacionadas

Relação sucessora dos projectos - PBIC/MAT/1631/93: PRAXIS/2/2.1/MAT/19/94 e PBIC/PP/1629/93: PRAXIS/2/2.1/MAT/46/94.