Anais de Congresso

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: LFCS 2007 New York, N.Y.
Outros Autores: Artemov, S. N., Nerode, Anil, 1932-
Formato: Anais de Congresso
Idioma:inglês
Publicado em: Berlin ; Springer, c2007.
coleção:Lecture notes in computer science (Springer) . ; 4514.
Assuntos:
Descrição
Descrição Física:xi, 511 p. : il. ; 24 cm.
Bibliografia:Incluye referencias bibliográficas e índice.
ISBN:9783540727323 (pbk.)
3540727329 (pbk.)