Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
Muniz, André Luís Nunes
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Autor
Muniz, André Luís Nunes
Mostrando
1 - 1
resultados de
1
para a busca '
Muniz, André Luís Nunes
'
, tempo de busca: 0,01s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Tangram: uma ferramenta de apoio à verificação formal de sistemas de tempo real baseados em componentes
Por
Muniz
,
André
Luís
Nunes
Publicado em 2009
Acessar documento
Dissertação
Carregando...