Könyv Abstraction Refinement for Large Scale Model Checking Chao Wang

Abstraction Refinement for Large Scale Model Checking

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
40 448 Ft
This book summarizes recent research on abstraction techniques for model checking large digital syst...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2006
oldal
179
EAN
9780387341552
ISBN
0387341552
Enbook ID
05247797
Súly
1000
Méretek
155 x 235 x 16

Teljes leírás

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

Érdekelheti

61 716 Ft
18 924 Ft

Caleb's Reading Log

Martha Day Zschock
3 183 Ft

Deepening Your Marriage

Jilene Scherbenske
5 658 Ft

Wild Justice

Kelley Armstrong
4 793 Ft
6 353 Ft

Waterville

Phyllis Witzler
9 312 Ft
4 349 Ft

Weaving

CHristina Martin
3 143 Ft
5 102 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Apreciatividad

Laura Isanta
6 483 Ft
4 223 Ft
29 970 Ft
3 838 Ft

5-3-1 Methode

Dr. Martin Sewer
5 716 Ft
9 083 Ft
42 662 Ft
30 109 Ft

Lara's Theme

Detlef Wolf
6 541 Ft