Idioma:

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings

International Conference on Integrated Formal Methods (6th 2007 Oxford, UK) Jim Davies; Jeremy Gibbons

Localização: IME - Inst. Matemática e Estatística (S L471c v.4591 )(Acessar)

IME - Inst. Matemática e Estatística (S L471c v.4591 ) 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	S L471c v.4591		Item disponível	31000061958	DOCUMENTO IMPRESSO	Select Request Option: Clique aqui para se identificar
Localização: IME-Inst. Mat. e Estatística Número de chamada: S L471c v.4591 Status: Item disponível Código de Barras: 31000061958 Tipo de item: DOCUMENTO IMPRESSO Status de item: Circula Exemplar: 1

Voltar para lista de resultados