$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Estatísticas > Conteúdo - Acesso

Número: 24308 Tipo de Acesso: PUBLIC
Título: A MECHANISM BASED ON LOGS WITH META-INFORMATION FOR THE VERIFICATION OF CONTRACTS IN DISTRIBUTED SYSTEMS
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: PEDRO DE GOES CARNAVAL ROCHA
Colaborador(es): ARNDT VON STAA - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: MASTER IN COMPUTER SCIENCE
Área: SOFTWARE ENGINEERING
Catalogação: 19/03/2015 Defesa: 21/08/2014 Idioma(s): PORTUGUESE - BRAZIL Países: 18 Visitas: 378 Partições: 1

  País  Visitas 
ANGOLA1
ARGENTINA1
BRAZIL76
CANADA5
CHINA23
CZECH REPUBLIC5
FINLAND2
FRANCE15
GERMANY43
10 IRAQ3
11 IRELAND1
12 MEXICO1
13 NETHERLANDS1
14 PORTUGAL1
15 RUSSIAN FEDERATION27
16 SINGAPORE1
17 UNITED KINGDOM2
18 UNITED STATES170
  Total Geral378
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui
    Senha Maxwell, clique aqui