skip to main content

Idioma:

Formal methods in computer-aided design 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings

FMCAD 2004 (2004 Austin, Tex.) Alan J Hu (Alan John); Andrew K Martin

Berlin Springer 2004

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

Enviar para

Título:
Formal methods in computer-aided design 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
Autor: FMCAD 2004 (2004 Austin, Tex.)
Alan J Hu (Alan John); Andrew K Martin
Assuntos: Digital integrated circuits -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Digital integrated circuits -- Design and construction -- Mathematics -- Congresses; Circuits intégrés numériques -- Conception assistée par ordinateur -- Congrès; Circuits intégrés -- Vérification -- Congrès; Méthodes formelles (Informatique) -- Congrès; Circuits intégrés numériques -- Conception et construction -- Mathématiques -- Congrès; CIRCUITOS DIGITAIS (CONGRESSOS); CIÊNCIA DA COMPUTAÇÃO (CONGRESSOS)
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3312.
Editor: Berlin Springer
Data de criação/publicação: 2004
Formato: xi, 444 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Ir para página anterior

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

Ir para próxima página

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_FISICO)
Mostrar o que foi encontrado até o momento