Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-1 de 1.
- Anterior
- 1
- Próximo
Conjunto de itens:
Data de defesa | Pré-visualização | Título | Autor | Orientador | Programa | Tipo de documento |
---|---|---|---|---|---|---|
19-Mar-2010 | ![]() | Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos | Pivetta, Paulo Junior Penna | Dotti, Fernando Luís | Programa de Pós-Graduação em Ciência da Computação | Dissertação |
Compartilhe o registro |
![]() ![]() ![]() |
Busca facetada
Todos contribuidores
Assunto
Sigla da instituição
Programa
Ano de defesa
Tipo de arquivo
Tipo de acesso