Idioma:

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

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

ICMC - Inst. Ciên. Mat. Computação (PROD-1275840 ) Disponível na Biblioteca

Local	Número de chamada	Descrição	Status / Emprestado até	Código de barras	Tipo de item	Opções de solicitação
ICMC-Inst. C. Mat. Computaçã	PROD-1275840		Item disponível	1275840-10	DOCUMENTO IMPRESSO	Select Request Option: Clique aqui para se identificar
Localização: ICMC-Inst. C. Mat. Computaçã Número de chamada: PROD-1275840 Status: Item disponível Código de Barras: 1275840-10 Tipo de item: DOCUMENTO IMPRESSO Status de item: PCD - não circula Exemplar: 1

Voltar para lista de resultados