Idioma:

Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

International SPIN Workshop (10 2003 Portland, Or.) Thomas Ball 1965- (Thomas Jaudon); Sriram K Rajamani 1970-

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

ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2648 ) 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.2648		Item disponível	30300030846	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.2648 Status: Item disponível Código de Barras: 30300030846 Tipo de item: DOCUMENTO IMPRESSO Status de item: Circula Exemplar: 1

Voltar para lista de resultados