![Abstraction Refinement for Large Scale Model Checking Abstraction Refinement for Large Scale Model Checking](https://bilder.buecher.de/produkte/20/20853/20853951m.jpg)
Gebundenes Buch
2006 edition
20. Juli 2006
Springer / Springer US / Springer, Berlin
11680437,978-0-387-34155-2
Broschiertes Buch | 82,99 € | |
eBook, PDF | 96,29 € |
![Abstraction Refinement for Large Scale Model Checking (eBook, PDF) Abstraction Refinement for Large Scale Model Checking (eBook, PDF)](https://bilder.buecher.de/produkte/37/37287/37287116m.jpg)
eBook, PDF
15. September 2006
Springer US
![Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms](https://bilder.buecher.de/produkte/39/39563/39563358n.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1996
18. März 2013
Springer / Springer US / Springer, Berlin
978-1-4757-7036-0
![Abstraction Refinement for Large Scale Model Checking Abstraction Refinement for Large Scale Model Checking](https://bilder.buecher.de/produkte/42/42031/42031994n.jpg)
Broschiertes Buch
2006
6. Dezember 2014
Springer / Springer US / Springer, Berlin
978-1-4899-9395-3
![Computer Aided Verification Computer Aided Verification](https://bilder.buecher.de/produkte/24/24452/24452351m.jpg)
Broschiertes Buch
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
2003
27. Juni 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40524-5
![Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms](https://bilder.buecher.de/produkte/20/20816/20816308m.jpg)
![Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms](https://bilder.buecher.de/produkte/21/21435/21435222m.jpg)
Gebundenes Buch
1996.
1996
Springer / Springer US / Springer, Berlin
978-0-7923-9746-5
Ähnliche Artikel
![Sub-Threshold Design for Ultra Low-Power Systems Sub-Threshold Design for Ultra Low-Power Systems](https://bilder.buecher.de/produkte/20/20846/20846837m.jpg)
Gebundenes Buch
24. Oktober 2006
Springer / Springer US / Springer, Berlin
11555575,978-0-387-33515-5
![Sub-threshold Design for Ultra Low-Power Systems Sub-threshold Design for Ultra Low-Power Systems](https://bilder.buecher.de/produkte/32/32109/32109581m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
23. November 2010
Springer / Springer US / Springer, Berlin
978-1-4419-4138-1
![Adaptive Techniques for Dynamic Processor Optimization Adaptive Techniques for Dynamic Processor Optimization](https://bilder.buecher.de/produkte/32/32135/32135390m.jpg)
Broschiertes Buch
Theory and Practice
Softcover reprint of hardcover 1st ed. 2008
23. November 2010
Springer / Springer US / Springer, Berlin
978-1-4419-4553-2
![Adaptive Techniques for Dynamic Processor Optimization Adaptive Techniques for Dynamic Processor Optimization](https://bilder.buecher.de/produkte/23/23155/23155076m.jpg)
Gebundenes Buch
Theory and Practice
2008
11. Juni 2008
Springer / Springer US / Springer, Berlin
12052035,978-0-387-76471-9
![Creating Assertion-Based IP Creating Assertion-Based IP](https://bilder.buecher.de/produkte/32/32135/32135589m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2008
19. November 2010
Springer / Springer US / Springer, Berlin
![Clocking in Modern VLSI Systems Clocking in Modern VLSI Systems](https://bilder.buecher.de/produkte/26/26487/26487240m.jpg)
Gebundenes Buch
2009 edition
2. September 2009
Springer / Springer US / Springer, Berlin
12075072,978-1-4419-0260-3
![Creating Assertion-Based IP Creating Assertion-Based IP](https://bilder.buecher.de/produkte/22/22551/22551041m.jpg)
Gebundenes Buch
2008
26. November 2007
Springer / Springer US / Springer, Berlin
11774808,978-0-387-36641-8
![Thermal and Power Management of Integrated Circuits Thermal and Power Management of Integrated Circuits](https://bilder.buecher.de/produkte/32/32109/32109498m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
29. November 2010
Springer / Springer US / Springer, Berlin
978-1-4419-3832-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON