Idioma:

B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings

Localização: IME-Inst. Mat. e Estatística
Número de chamada: S L471c v.4355
Status: Item disponível
Código de Barras: 31000061930
Tipo de item: DOCUMENTO IMPRESSO
Status de item: Circula
Exemplar: 1

International B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga Kouchnarenko

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Acesso online. A biblioteca também possui exemplares impressos.

IME - Inst. Matemática e Estatística (S L471c v.4355 ) 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.4355		Item disponível	31000061930	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.4355 Status: Item disponível Código de Barras: 31000061930 Tipo de item: DOCUMENTO IMPRESSO Status de item: Circula Exemplar: 1

Voltar para lista de resultados

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