| Nome Projeto: | METODOS FORMAIS ALGEBRICOS PARA GERCAO DE INVARIANTES. |
|
| Tipo Projeto: | Pesquisa Básica |
| | Situação Projeto: | Em Andamento |
|
| Data Início Projeto: | 09/2011 |
| |
| Tipo Envolvimento Contrato: | Individual |
|
| Descrição Projeto: | METODOS FORMAIS ALGEBRICOS PARA GERCAO DE INVARIANTES. |
|
| Linha Pesquisa: | | Teoria da Computação e Algoritmos |
|
| Instituições | | Nome: | | Fundação de Amparo à Pesquisa do Estado de São Paulo |
|
| Tipo do Financiamento: | Bolsa Pos doutorado no país PD |
|
| Nº Processo na Financiadora: | 2011/08947-1 |
| | Data Início Financiamento: | 09/2011 |
|
| Data Fim Financiamento: | 03/2013 |
| | Valor do Financiamento: | R$ 110.511,58 |
|
| Complemento do Tipo Financiamento: | BOLSA NO PAIS-PD |
|
|
|
| Órgãos | | (IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00] |
|
| Equipes Projeto | | Rachid Rebiha( Participante ) |
| ARNALDO VIEIRA MOURA( Responsável ) |
|
|
