|
Criar conta!
opções:página principal
fóruns
links
enviar novidades
classificados
gemcc:órgãos sociais
estatutos
curso:lmcc
Perguntar ao GEMCC
O arquivo está disponível aqui.
Pode encontrar um backend de novidades para o seu site aqui, ou uma versão mais avançada aqui.
utilizadores identificados
activos nos últimos 5 minutos
Eddielon
utilizadores registados:35660
|
Seminario TFM 18/4 14:00
@ :: GEMCC ::
Apr 16 2007 - 15:19 GMT | | vilhena escreve: O grupo de Teoria e Métodos Formais do CCTC vai organizar no próximo dia 18 de Abril uma palestra de uma aluna de doutoramento, a Shuling Wang, da School of Mathematical Sciences da Univ de Pequim. O seminário será rigorosamente das 14 às 15h, no DI-A1, com a seguinte temática: "Separation logic and its extension to object-oriented programming languages".
ler comentários (0) /
comentar
formato de impressão
|
|
|
|
Que curso gostavas que o GEMCC organizasse?
|
| os utilizadores mais activos
|
baseado no número de contribuições dos últimos 30 dias
|
utilizador |
nr. de novidades |
projectos:
|
