Logics of programs proceedings

Workshop on Logic of Programs, Pittsburgh, 1983 Edmund Clarke; Dexter Kozen

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

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

Voltar para lista de resultados