skip to main content

Idioma:

Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 Saarbr ucken, Germany, October 3-6, 2005 : proceedings

CHARME 2005 (2005 Saarbr ucken, Germany) Dominique Borrione; Wolfgang J Paul 1951

Berlin Springer New York c2005

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

Enviar para

Título:
Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 Saarbr ucken, Germany, October 3-6, 2005 : proceedings
Autor: CHARME 2005 (2005 Saarbr ucken, Germany)
Dominique Borrione; Wolfgang J Paul 1951
Assuntos: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses; Circuits int egr es a tr es grande echelle -- Conception assist ee par ordinateur -- Congr es; Circuits int egr es -- V erification -- Congr es; Circuit int egr e a tr es grande echelle; Conception assist ee par ordinateur; Circuit int egr e; V erification formelle; Essai technique; Model-checking (Informatique); ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES (CONGRESSOS)
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3725
Editor: Berlin Springer New York
Data de criação/publicação: c2005
Formato: xii, 412 p ill 24 cm..
Idioma: Inglês

Links

Voltar para lista de resultados

Ir para página anterior

Anterior Resultado 2 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_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento