Informações sobre "PTC29008: Verificação de Protocolos: Lógica temporal"

Ir para navegação Ir para pesquisar

Informação básica

Título exibidoPTC29008: Verificação de Protocolos: Lógica temporal
Chave de ordenação padrãoPTC29008: Verificação de Protocolos: Lógica temporal
Tamanho da página (em bytes)17 898
ID da página18317
Idioma do conteúdo da páginapt-br - português do Brasil
Modelo de conteúdo de páginawikitexto
Indexado por robôsAutorizado
Número de redirecionamentos para esta página0
Contado como uma página de conteúdoSim

Proteção da página

EditarPermitir todos os usuários (indefinido)
MoverPermitir todos os usuários (indefinido)
Exiba o registro de proteção desta página.

Histórico de edições

Criador da página127.0.0.1 (discussão)
Data de criação da página13h15min de 12 de junho de 2018
Último editorMsobral (discussão | contribs)
Data da última edição11h31min de 10 de dezembro de 2019
Número total de edições15
Número total de autores distintos2
Número de edições recentes (nos últimos 90 dias)0
Número recente de autores distintos0

Propriedades da página

Predefinições transcluídas (2)

Predefinições usadas nesta página:

Disponível em “https://wiki.sj.ifsc.edu.br/index.php/PTC29008:_Verificação_de_Protocolos:_Lógica_temporal”