TEXTO
[pt] ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
[en] FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH
Autor
CARLOS BAZILIO MARTINS
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
APRENDIZAGEM FORMAL, NÃO FORMAL E INFORMAL: COMO CONDUTORES DE DOIS PARQUES NACIONAIS ESTABELECEM SEU TIROCÍNIO
Cotes, Marcial; Salles, William das Neves; Tozetto, Alexandre Vinícius Bobato; Nascimento, Juarez Vieira -
Formal, non-formal and informal education and innovation: Innovating to educate and educating to innovate
Soto Kiewit, Luis Diego; Segura Jiménez, Alexis; Navarro Rojas, Óscar; Cedeño Rojas, Sara; Medina Díaz, Rebeca