Idioma:

Computer aided verification 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

CAV (Conference) (15th 2003 Boulder, Colo.) Warren A Hunt 1958-; Fabio Somenzi

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2725 )(Acessar)

ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2725 ) 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çã	68-02 LNCS v.2725		Item disponível	30300031209	DOCUMENTO IMPRESSO	Select Request Option: Clique aqui para se identificar
Localização: ICMC-Inst. C. Mat. Computaçã Número de chamada: 68-02 LNCS v.2725 Status: Item disponível Código de Barras: 30300031209 Tipo de item: DOCUMENTO IMPRESSO Status de item: Circula Exemplar: 1

Voltar para lista de resultados

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