Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Abstraction Refinement for Large Scale Model Checking

Language EnglishEnglish
Book Hardback
Book Abstraction Refinement for Large Scale Model Checking Chao Wang
Libristo code: 05247797
Publishers Springer-Verlag New York Inc., July 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Full description
? points 277 b
114.52 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

La Riviera de Charles Garnier Michel / Book Paperback
common.buy 13.65 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Book Paperback
common.buy 28.32 €
Apreciatividad Laura Isanta / Book Paperback
common.buy 17.49 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Book Paperback
common.buy 24.07 €
El Libro de los Mundos Sheyla Preve / Book Paperback
common.buy 11.32 €
Järjestelmävirhe / Book Hardback
common.buy 26.60 €
Demokratisierung der Raumplanung. Peter Knoepfel / Book Paperback
common.buy 80.02 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Book Paperback
common.buy 12.43 €
BELLEZA Y DESOLACIÓN / Book Paperback
common.buy 20.53 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Book Paperback
common.buy 10.31 €
5-3-1 Methode Dr. Martin Sewer / Book Paperback
common.buy 15.17 €
Griechische Metallpanzer Arnold Hagemann / Book Paperback
common.buy 24.17 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Book Hardback
common.buy 26.80 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Book Paperback
common.buy 15.47 €
Taschenbuch der Mathematik Helmut Wörle / Book Hardback
common.buy 112.80 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Book Paperback
common.buy 15.57 €
Alles für den Schein Rudolf Inderst / Book Paperback
common.buy 80.02 €
Lara's Theme Detlef Wolf / Book Paperback
common.buy 19.01 €
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Book Paperback
common.buy 56.95 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Book Paperback
common.buy 54.42 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Book Paperback
common.buy 46.13 €

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.§

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Abstraction Refinement for Large Scale Model Checking
Author Chao Wang, Gary D. Hachtel, Fabio Somenzi
Language English
Binding Book - Hardback
Date of issue 2006
Number of pages 179
EAN 9780387341552
ISBN 0387341552
Libristo code 05247797
Publishers Springer-Verlag New York Inc.
Weight 1000
Dimensions 155 x 235 x 16

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Book Paperback
common.buy 9.70 €
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Book Paperback
common.buy 12.84 €
Top
The Journey from Abandonment to Healing Susan Anderson / Book Paperback
common.buy 15.77 €
Handbook of Dramatherapy Sue Jennings / Book Hardback
common.buy 167.54 €
Interface Oral Health Science 2016 Keiichi Sasaki / Book Hardback
common.buy 50.58 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Book Paperback
common.buy 9.70 €
Caleb's Reading Log Martha Day Zschock / Book Paperback
common.buy 8.39 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Book Hardback
common.buy 33.58 €
Deepening Your Marriage Jilene Scherbenske / Book Paperback
common.buy 15.27 €
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Book Paperback
common.buy 31.66 €
Wild Justice Kelley Armstrong / Book Paperback
common.buy 13.95 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Book Paperback
common.buy 17.09 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Book Paperback
common.buy 83.77 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Book Hardback
common.buy 383.05 €
Waterville Phyllis Witzler / Book Hardback
common.buy 24.58 €
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 / Book Hardback
common.buy 26.90 €
Rethinking Social Action through Music GEOFFREY BAKER / Book Paperback
common.buy 49.16 €
MLK: An American Legacy David J. Garrow / E-book Adobe ePub DRM
common.buy 12.64 €
Market Development and Policy for One Belt One Road Achim I. Czerny / E-book Adobe ePub DRM
common.buy 140.43 €
Short Literary History of the United States Klarer / Book Hardback
common.buy 160.46 €
Weaving CHristina Martin / Book Paperback
common.buy 8.59 €
To The End of the Land David Grossman / Book Paperback
common.buy 13.95 €
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Book Hardback
common.buy 130.11 €
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Book Paperback
common.buy 14.86 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account