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 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 288 b
117.74 €
230.27  лв
In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Coming soon New
Chemistry and Biology of Heterocycles: Two Volume Set Bimal Krishna Banik Book binding.
common.buy 551.42 € 1 078.47 лв
Liar Game Shinobu Kaitani / Book Paperback
common.buy 8.65 € 16.92 лв
Les 25 plus belles balades faciles de la Haute Corse Quilici / Book Paperback
common.buy 11.62 € 22.73 лв
BELLEZA Y DESOLACIÓN / Book Paperback
common.buy 21.56 € 42.16 лв
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Book Paperback
common.buy 28.83 € 56.38 лв
Les Enfants Boxcar : Le Ranch aux secrets Warner / Book Book
common.buy 15.92 € 31.14 лв
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Book Paperback
common.buy 24.42 € 47.77 лв
Top
Izabela ratuje wróżki. Duże litery. Opowiadania do nauki czytania Agata Giełczyńska-Jonik / Book Paperback
common.buy 2.91 € 5.70 лв
Aide-Memoire Du Veterinaire. 3e Edition Jules Signol / Book Paperback
common.buy 40.81 € 79.82 лв
La Riviera de Charles Garnier Michel / Book Paperback
common.buy 12.95 € 25.33 лв
Juan Bauptista Mart­nez del Maso SOLANO OROPESA / Book Paperback
common.buy 9.67 € 18.92 лв
Järjestelmävirhe / Book Hardback
common.buy 26.37 € 51.58 лв
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Book Paperback
common.buy 51.21 € 100.16 лв
Demokratisierung der Raumplanung. Peter Knoepfel / Book Paperback
common.buy 98.33 € 192.31 лв
5-3-1 Methode Dr. Martin Sewer / Book Paperback
common.buy 15.87 € 31.04 лв
Erfolgstechniken Max Frankes / Book Paperback
common.buy 37.48 € 73.31 лв
Griechische Metallpanzer Arnold Hagemann / Book Paperback
common.buy 25.29 € 49.47 лв
3D Schach 2 in 1 Taktikboard und Trainingsbuch Theo Von Taane / Book Paperback
common.buy 5.83 € 11.41 лв
Alles für den Schein Rudolf Inderst / Book Paperback
common.buy 83.88 € 164.06 лв
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Book Paperback
common.buy 43.01 € 84.13 лв
Apreciatividad Laura Isanta / Book Paperback
common.buy 17.77 € 34.75 лв
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Book Paperback
common.buy 57.66 € 112.78 лв
Lara's Theme Detlef Wolf / Book Paperback
common.buy 19.56 € 38.25 лв
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Book Paperback
common.buy 14.33 € 28.04 лв

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

Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors Peter W. de Vries / Book Paperback
common.buy 66.42 € 129.90 лв
Geography, Location, and Strategy Brian S. Silverman / Book Hardback
common.buy 173.81 € 339.95 лв
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Book Hardback
common.buy 34.05 € 66.60 лв
Happy Birthday Diana Lynn / Book Paperback
common.buy 9.26 € 18.12 лв
Practical Clinical Guide to Resin Cements Michelle Sunico-Segarra / Book Paperback
common.buy 69.90 € 136.72 лв
Rethinking Social Action through Music GEOFFREY BAKER / Book Paperback
common.buy 46.24 € 90.44 лв
Caleb's Reading Log Martha Day Zschock / Book Paperback
common.buy 8.55 € 16.72 лв
Deepening Your Marriage Jilene Scherbenske / Book Paperback
common.buy 15.56 € 30.44 лв
Uncommon Friends James D. Newton / Book Paperback
common.buy 17.46 € 34.15 лв
Interface Oral Health Science 2016 Keiichi Sasaki / Book Hardback
common.buy 50.03 € 97.85 лв
Handbook of Dramatherapy Sue Jennings / Book Hardback
common.buy 177.91 € 347.97 лв
Top
The Journey from Abandonment to Healing Susan Anderson / Book Paperback
common.buy 17.05 € 33.34 лв
MLK: An American Legacy David J. Garrow / E-book Adobe ePub DRM
common.buy 26.27 € 51.38 лв
Abdominal Imaging. Computational and Clinical Applications Hiroyuki Yoshida / Book Paperback
common.buy 51.11 € 99.96 лв
Market Development and Policy for One Belt One Road Achim I. Czerny / E-book Adobe ePub DRM
common.buy 151.33 € 295.98 лв
Birth of an Opera Michael Rose / Book Hardback
common.buy 35.59 € 69.61 лв
A Memoir of Holstein: An Engineer Traces His Origin: A Memoir of Holstein: An Engineer Traces His Origin Gary G Ruhser / Book Paperback
common.buy 15.97 € 31.24 лв
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 32.16 € 62.89 лв
Ahead of Their Time: The Story of the Omaha DePorres Club Matt Holland / Book Paperback
common.buy 16.02 € 31.34 лв
Mediocrity is Not an Option: Targeting professional success Robert M Chiusano / Book Paperback
common.buy 17.82 € 34.85 лв
Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Book Paperback
common.buy 9.83 € 19.22 лв
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Book Paperback
common.buy 17.36 € 33.95 лв
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Book Paperback
common.buy 66.88 € 130.81 лв
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Book Hardback
common.buy 399.87 € 782.08 лв

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?