skip to main content

Modelos de computação e sistemas formais

Roberto Lins de Carvalho Escola de Computação (11. 1998 Rio de Janeiro, RJ)

Rio de Janeiro DCC/IM, COPPE/UFRJ, NCE-UFRJ 1998

Localização: IME - Inst. Matemática e Estatística    (QA800 C331m )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.