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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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.71 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

5-3-1 Methode Dr. Martin Sewer / Book Paperback
common.buy 15.19 €
Izabela ratuje wróżki. Duże litery. Opowiadania do nauki czytania Agata Giełczyńska-Jonik / Book Paperback
common.buy 2.32 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Book Paperback
common.buy 24.11 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Book Paperback
common.buy 28.37 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Book Paperback
common.buy 10.33 €
La Riviera de Charles Garnier Michel / Book Paperback
common.buy 13.57 €
Juan Bauptista Mart­nez del Maso SOLANO OROPESA / Book Paperback
common.buy 8.60 €
Järjestelmävirhe / Book Hardback
common.buy 26.64 €
Demokratisierung der Raumplanung. Peter Knoepfel / Book Paperback
common.buy 94.24 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Book Paperback
common.buy 12.35 €
BELLEZA Y DESOLACIÓN / Book Paperback
common.buy 20.46 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Book Paperback
common.buy 51.07 €
Apreciatividad Laura Isanta / Book Paperback
common.buy 17.52 €
Erfolgstechniken Max Frankes / Book Paperback
common.buy 35.76 €
Griechische Metallpanzer Arnold Hagemann / Book Paperback
common.buy 24.21 €
El Libro de los Mundos Sheyla Preve / Book Paperback
common.buy 11.34 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Book Hardback
common.buy 26.85 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Book Paperback
common.buy 14.08 €
Yunus, Ne Hos Demissin Besir Ayvazoglu / Book Paperback
common.buy 17.22 €
Taschenbuch der Mathematik Helmut Wörle / Book Hardback
common.buy 112.99 €
Alles für den Schein Rudolf Inderst / Book Paperback
common.buy 80.15 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Book Paperback
common.buy 14.38 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Book Paperback
common.buy 42.96 €
Lara's Theme Detlef Wolf / Book Paperback
common.buy 19.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

Mediocrity is Not an Option: Targeting professional success Robert M Chiusano / Book Paperback
common.buy 17.52 €
Top
The Journey from Abandonment to Healing Susan Anderson / Book Paperback
common.buy 15.80 €
Handbook of Dramatherapy Sue Jennings / Book Hardback
common.buy 167.82 €
Interface Oral Health Science 2016 Keiichi Sasaki / Book Hardback
common.buy 50.66 €
Uncommon Friends James D. Newton / Book Paperback
common.buy 17.22 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Book Paperback
common.buy 9.72 €
Caleb's Reading Log Martha Day Zschock / Book Paperback
common.buy 8.40 €
Practical Clinical Guide to Resin Cements Michelle Sunico-Segarra / Book Paperback
common.buy 70.73 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Book Hardback
common.buy 33.64 €
Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors Peter W. de Vries / Book Paperback
common.buy 67.18 €
Deepening Your Marriage Jilene Scherbenske / Book Paperback
common.buy 15.29 €
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.80 €
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.71 €
Birth of an Opera Michael Rose / Book Hardback
common.buy 34.14 €
Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Book Paperback
common.buy 9.72 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Book Paperback
common.buy 17.12 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Book Paperback
common.buy 83.90 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Book Hardback
common.buy 404.56 €
52 Things Sarah Wants David To Know: A Different Way To Say It Levy / Book Paperback
common.buy 13.98 €
Waterville Phyllis Witzler / Book Hardback
common.buy 24.62 €
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.95 €
4000 lists AP Spanish Language and Culture Test Prep Student Edition Book 1: The Ultimate Fast track Spanish Literature preparation textbook quick stu College Education Center / Book Paperback
common.buy 15.80 €
Rethinking Social Action through Music GEOFFREY BAKER / Book Paperback
common.buy 49.24 €
MLK: An American Legacy David J. Garrow / E-book Adobe ePub DRM
common.buy 17.62 €

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?