Mostrando
1 - 5
resultados de
5
para a busca '
Musicante, Martin A.,
'
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
Musicante, Martin A.,
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 5
resultados de
5
para a busca '
Musicante, Martin A.,
'
, tempo de busca: 0,02s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Typechecking XQuery: A Prototype in ASF+SDF
por
Venske, Sandra Mara Guse Scós
Publicado em 2009
Outros Autores:
“
...
Musicante
,
Martin
A....
”
Acessar documento
Artigo
2
Uso de semântica de ações na especificação de um sistema de data warehousing
por
Hauagge, Josiane Michalak
Publicado em 2009
Outros Autores:
“
...
Musicante
,
Martin
A....
”
Acessar documento
Artigo
3
Maude Object-Oriented Action Tool
por
Maidl, André Murbach
Publicado em 2013
Outros Autores:
“
...
Musicante
,
Martin
A.,...
”
Acessar documento
Artigo
4
Specification and Runtime Verification of Java Card Programs
por
Costa, Umberto Souza da
Publicado em 2009
Outros Autores:
“
...
Musicante
,
Martin
A....
”
Acessar documento
Artigo
5
JCML: A specification language for the runtime verification of Java Card programs
por
Moreira, Anamaria Martins
Publicado em 2010
Outros Autores:
“
...
Musicante
,
Martin
A....
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...