3 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (2)
Refinado por:
autor:
Simão, A
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo de Congresso
|
|
Using denotational semantics in the validation of the compiler for a mutation-oriented languageAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha; Workshop on Formal Methods (5. 2002 Gramado)Proceedings Porto Alegre : Instituto de Informática da UFRGS, 2002Porto Alegre Instituto de Informática da UFRGS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1275840 ) e outros locais(Acessar) |
| 2 |
Material Type: Artigo
|
|
A tranformational language for mutant descriptionAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva BigonhaComputer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009Amsterdam 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo
|
|
A tranformational language for mutant descriptionAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva BigonhaComputer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009Amsterdam 2009Acesso online. A biblioteca também possui exemplares impressos. |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (2)
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 