skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: autor: Workshop on Formal Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Using denotational semantics in the validation of the compiler for a mutation-oriented language
Using denotational semantics in the validation of the compiler for a mutation-oriented language
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using denotational semantics in the validation of the compiler for a mutation-oriented language

Adenilso 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, 2002

Porto Alegre Instituto de Informática da UFRGS 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1275840 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Workshop on Formal Methods
  2. Maldonado, J
  3. Simão, A
  4. Bigonha, R

Neste Assunto:

  1. Engenharia De Software

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.