Mostrando
1 - 1
resultados de
1
para a busca '
Carloto, Carlos José Abreu Dias da Silva
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Carloto, Carlos José Abreu Dias da Silva
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 1
resultados de
1
para a busca '
Carloto, Carlos José Abreu Dias da Silva
'
, tempo de busca: 0,01s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Towards a formally verified microkernel using the Frama-C toolset
por
Carloto
,
Carlos
José
Abreu
Dias
da
Silva
Publicado em 2010
Acessar documento
Dissertação
Exportar CSV
Exportar RIS
Carregando...