$$\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 Língua: PORTUGUESE - BRAZIL Países: 28 Visitas: 476 Partições: 1

  País  Visitas 
ANGOLA1
ARGENTINA1
BRAZIL104
CANADA5
CHINA27
CZECH REPUBLIC6
EGYPT1
FINLAND2
FRANCE16
10 GERMANY46
11 HONG KONG1
12 INDONESIA1
13 IRAQ3
14 IRELAND1
15 ITALY6
16 JAPAN2
17 MEXICO1
18 MOROCCO1
19 NETHERLANDS3
20 PHILIPPINES1
21 PORTUGAL1
22 RUSSIAN FEDERATION33
23 SINGAPORE2
24 SWEDEN3
25 SWITZERLAND6
26 UNIDENTIFIED COUNTRY1
27 UNITED KINGDOM5
28 UNITED STATES196
  Total Geral476
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