![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
![Logic Minimization Algorithms for VLSI Synthesis Logic Minimization Algorithms for VLSI Synthesis](https://bilder.buecher.de/produkte/39/39686/39686551m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1984
17. September 2011
Springer / Springer US / Springer, Berlin
978-1-4612-9784-0
Gebundenes Buch | 142,99 € |
![Logic Minimization Algorithms for VLSI Synthesis Logic Minimization Algorithms for VLSI Synthesis](https://bilder.buecher.de/produkte/21/21115/21115924m.jpg)
Gebundenes Buch
1984.
31. August 1984
Springer / Springer US / Springer, Berlin
11108528,978-0-89838-164-1
![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
Ähnlichkeitssuche: Fact®Finder von OMIKRON