Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Abstraction Refinement for Large Scale Model Checking

Língua InglêsInglês
Livro Livro de capa dura
Livro Abstraction Refinement for Large Scale Model Checking Chao Wang
Código Libristo: 05247797
Editoras Springer-Verlag New York Inc., julho 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Descrição completa
? points 240 b
98.92 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

La Riviera de Charles Garnier Michel / Livro Capa mole
common.buy 11.31 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Livro Capa mole
common.buy 23.94 €
Apreciatividad Laura Isanta / Livro Capa mole
common.buy 14.95 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Livro Capa mole
common.buy 20.50 €
El Libro de los Mundos Sheyla Preve / Livro Capa mole
common.buy 9.59 €
Järjestelmävirhe / Livro Livro de capa dura
common.buy 23.43 €
Demokratisierung der Raumplanung. Peter Knoepfel / Livro Capa mole
common.buy 71.13 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Livro Capa mole
common.buy 10.30 €
BELLEZA Y DESOLACIÓN / Livro Capa mole
common.buy 18.08 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Livro Capa mole
common.buy 8.78 €
5-3-1 Methode Dr. Martin Sewer / Livro Capa mole
common.buy 13.43 €
Griechische Metallpanzer Arnold Hagemann / Livro Capa mole
common.buy 21.31 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Livro Livro de capa dura
common.buy 23.64 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Livro Capa mole
common.buy 12.62 €
Taschenbuch der Mathematik Helmut Wörle / Livro Livro de capa dura
common.buy 91.54 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Livro Capa mole
common.buy 13.23 €
Alles für den Schein Rudolf Inderst / Livro Capa mole
common.buy 70.52 €
Lara's Theme Detlef Wolf / Livro Capa mole
common.buy 16.06 €
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Livro Capa mole
common.buy 46.98 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Livro Capa mole
common.buy 46.58 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Livro Capa mole
common.buy 40.01 €

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
Ewa Kasp
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 Chao Wang, Gary D. Hachtel, Fabio Somenzi
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2006
Número de páginas 179
EAN 9780387341552
ISBN 0387341552
Código Libristo 05247797
Editoras Springer-Verlag New York Inc.
Peso 1000
Dimensões 155 x 235 x 16

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Eletrónica: circuitos e componentes
Tecnologia, Engenharia & Agricultura > Tecnologia: questões gerais > Engenharia: generalidades
Tecnologia, Engenharia & Agricultura > Tecnologia & engenharia energética > Engenharia elétrica
Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Design assistido por computador (CAD)
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ário

Também pode estar interessado em

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Livro Capa mole
common.buy 8.18 €
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Livro Capa mole
common.buy 11.00 €
Principal
The Journey from Abandonment to Healing Susan Anderson / Livro Capa mole
common.buy 12.82 €
Handbook of Dramatherapy Sue Jennings / Livro Livro de capa dura
common.buy 145.20 €
Interface Oral Health Science 2016 Keiichi Sasaki / Livro Livro de capa dura
common.buy 44.86 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Livro Capa mole
common.buy 8.58 €
Caleb's Reading Log Martha Day Zschock / Livro Capa mole
common.buy 6.76 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Livro Livro de capa dura
common.buy 28.59 €
Deepening Your Marriage Jilene Scherbenske / Livro Capa mole
common.buy 13.13 €
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Livro Capa mole
common.buy 26.97 €
Wild Justice Kelley Armstrong / Livro Capa mole
common.buy 13.94 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Livro Capa mole
common.buy 14.44 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Livro Capa mole
common.buy 76.39 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Livro Livro de capa dura
common.buy 344.38 €
Waterville Phyllis Witzler / Livro Livro de capa dura
common.buy 20.00 €
Catalogue of a Large Collection of Antient and Modern Coins and Medals, in Gold, Silver, and Copper, Consisting of Phoenician, Etruscan, Greek, Roman, MR. GERARD / Livro Livro de capa dura
common.buy 22.93 €
Rethinking Social Action through Music GEOFFREY BAKER / Livro Capa mole
common.buy 41.32 €
MLK: An American Legacy David J. Garrow / E-book Adobe ePub DRM
common.buy 10.60 €
Market Development and Policy for One Belt One Road Achim I. Czerny / E-book Adobe ePub DRM
common.buy 121.96 €
Short Literary History of the United States Klarer / Livro Livro de capa dura
common.buy 144.29 €
Weaving CHristina Martin / Livro Capa mole
common.buy 7.67 €
To The End of the Land David Grossman / Livro Capa mole
common.buy 12.02 €
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Livro Livro de capa dura
common.buy 117.62 €
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Livro Capa mole
common.buy 12.12 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo