Navegando por Autor Pivetta, Paulo Junior Penna
Mostrando resultados 1 a 1 de 1
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 |