Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos

Bibliographic Details
Main Author: Paulo Junior Penna Pivetta
Publication Date: 2010
Format: Master thesis
Source: Portal de Dados Abertos da CAPES
id BRCRIS_edda42dff11b4ed2fe27c35d8fc4c941
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
title Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
spellingShingle Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
Paulo Junior Penna Pivetta
title_short Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
title_full Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
title_fullStr Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
title_full_unstemmed Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
title_sort Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
publishDate 2010
format masterThesis
author_role author
author Paulo Junior Penna Pivetta
author_facet Paulo Junior Penna Pivetta
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/8879323783776374
dc.contributor.advisor1.fl_str_mv FERNANDO LUÍS DOTTI
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3145198954829457
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SUL
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SUL
instname_str PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SUL
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema DistribuídosUma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema DistribuídosUma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema DistribuídosUma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema DistribuídosUma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema DistribuídosUma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema DistribuídosUma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos2010masterThesisauthorPaulo Junior Penna Pivettahttp://lattes.cnpq.br/8879323783776374FERNANDO LUÍS DOTTIhttp://lattes.cnpq.br/3145198954829457PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SULPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SULPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SULPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Pivetta, Paulo Junior Penna. Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos. 2010. Tese.
dc.identifier.citation.fl_str_mv Pivetta, Paulo Junior Penna. Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos. 2010. Tese.
_version_ 1741884364948504576

Similar Items