Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
"development"
'
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:
Gomes, Bruno Emerson Gurgel
Área do conhecimento CNPq:
CNPQ::OUTROS
Mostrar filtros (2)
Autor:
Gomes, Bruno Emerson Gurgel
Área do conhecimento CNPq:
CNPQ::OUTROS
Resultados da busca: "development"
Mostrando
1 - 1
resultados de
1
para a busca '
"development"
'
, tempo de busca: 0,07s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
Assuntos:
“
...Formal
development
...
”
Desenvolvimento formal de aplicações para smartcards
Por
Gomes, Bruno Emerson Gurgel
Publicado em 2012
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Norte (UFRN)
1
Bases coletadas
Repositório Institucional da UFRN
1
Programa de Pós-Graduação
Programa de Pós-Graduação em Sistemas e Computação
1
Autor
Gomes, Bruno Emerson Gurgel
Orientador(a)
Déharbe, David Boris Paul
1
Tipo de documento
Tese
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
Desenvolvimento formal
1
Geração de código.
1
Java card
1
Método formal B
1
Refinamento
1
Smart cards
1
Assunto em inglês
B formal method
1
Code generation.
1
Formal development
1
Java card
1
Refinement
1
Smart cards
1
Área do conhecimento CNPq
OUTROS
Ano da publicação
De:
Até:
Carregando...
