skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedings

CAV (Conference) (16th 2004 Boston, MA) Rajeev Alur 1966; Doron Peled 1962

Berlin Springer New York c2004

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

Voltar para lista de resultados
Resultado  1

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.