Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Abstraction Refinement for Large Scale Model Checking
Língua
Inglês
Inglês
Livro
Capa mole
This book summarizes recent research on abstraction techniques for model checking large digital syst...
Descrição completa
Código Libristo: 09165444
?
243 b
243 b
100.34
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Abstraction Refinement for Large Scale Model Checking
Autor
Fabio Somenzi
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2014
Número de páginas
179
EAN
9781489993953
ISBN
9781489993953
Código Libristo
09165444
Editoras
Springer-Verlag New York Inc.
Peso
257
Dimensões
210 x 2 x 11
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
13.33
€
/
Capa mole
12.62
€
/
Livro de capa dura
116.30
€
/
Capa mole
23.94
€