Idioma:

From active names to π-calculus rewriting rules

Ana Cristina Vieira de Melo Brazilian Symposium on Formal Methods - SBMF (2004 Recife)

Electronic Notes in Theoretical Computer Science Amsterdam v. 130, p. 169-185, 2005

Localização: IME - Inst. Matemática e Estatística (PROD-1477195 ) e outros locais(Acessar)

IME - Inst. Matemática e Estatística (PROD-1477195 ) 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
IME-Inst. Mat. e Estatística	PROD-1477195		Item disponível	1477195-10	RECURSO ELETRÔNICO	Select Request Option: Clique aqui para se identificar
Localização: IME-Inst. Mat. e Estatística Número de chamada: PROD-1477195 Status: Item disponível Código de Barras: 1477195-10 Tipo de item: RECURSO ELETRÔNICO Status de item: PCD - não circula

Voltar para lista de resultados

Anterior Resultado 3 Avançar Ir para próxima página