skip to main content
Idioma:
Refinado por: Biblioteca: EACH - Esc. Artes, Ciências e Humanidades remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Principles of model checking
Principles of model checking
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles of model checking

Christel Baier Joost-Pieter Katoen

Cambridge, Mass The MIT Press 2008?

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.24 B152p ) e outros locais(Acessar)

2
Logic synthesis and verification algorithms
Logic synthesis and verification algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic synthesis and verification algorithms

Gary D Hachtel Fabio Somenzi

New York Springer c2006

Localização: EACH - Esc. Artes, Ciências e Humanidades    (621.395 H117L )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Autor/Criador 

  1. Katoen, J  (1)
  2. Baier, C  (1)
  3. Hachtel, G  (1)
  4. Somenzi, F  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Katoen, J
  2. Baier, C
  3. Hachtel, G
  4. Somenzi, F

Neste Assunto:

  1. Algoritmos
  2. Design
  3. Álgebras De Boole
  4. Integrated Circuits
  5. Circuitos Lógicos

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

Buscando em bases de dados remotas. Favor aguardar.