PRAXIS/2/2.1/MAT/46/94 [I]

Ações disponíveis

Ações disponíveis ao leitor

Consultar no telemóvel

Código QR do registo

Partilhar

 

PRAXIS/2/2.1/MAT/46/94 [I]

Detalhes do registo

Nível de descrição

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

Código de referência

PT/FCT/FCT/DPP/001/1251

Tipo de título

Atribuído

Título

PRAXIS/2/2.1/MAT/46/94 [I]

Datas de produção

1993  a  1998 

Dimensão e suporte

0,32 x 0,09 - Papel A4

Extensões

0,09 Metros linear

Âmbito e conteúdo

Contém 1 processo de financiamento, no âmbito do Programa PRAXIS XXI - Medida 2, Acção 2.1 (Programas Estruturantes para o Desenvolvimento da Base do Sistema de C&T), do seguinte projecto:Projecto "Especificações Executáveis e Verificáveis de Sistemas Concorrentes: Linguagens e Modelos (ESCOLA)" (PRAXIS/2/2.1/MAT/46/94), proposto pela Faculdadde de Ciências e Tecnologia da Universidade Nova de Lisboa e executado pelo Departamento de Informática da Faculdadde de Ciências e Tecnologia da Universidade Nova de Lisboa, com a participação do Instituto de Engenharia de Sistemas e Computadores, do Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa, do Departamento de Matemática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra e do Departamento de Engenharia Electrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto. Investigador responsável: Luís Lopes Monteiro.

Programas de apoio

Áreas científicas

Localização física

PT/FCT/ACT-ÁREA A/09/04/2

Cota descritiva

A.09.04.2

Cota original

005334

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: PBIC/PP/1629/93.