Suchergebnisse für ""Gary D. Hachtel""

Abstraction Refinement for Large Scale Model Checking
122,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Chao Wang
Gary D. Hachtel
Fabio Somenzi
Abstraction Refinement for Large Scale Model Checking
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2006 edition
20. Juli 2006
Springer / Springer US / Springer, Berlin
11680437,978-0-387-34155-2
Auch erhältlich als
Broschiertes Buch82,99 €
eBook, PDF96,29 €
Abstraction Refinement for Large Scale Model Checking (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Chao Wang
Gary D. Hachtel
Fabio Somenzi
Abstraction Refinement for Large Scale Model Checking (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
15. September 2006
Springer US
Logic Synthesis and Verification Algorithms
70,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gary D. Hachtel
Fabio Somenzi
Logic Synthesis and Verification Algorithms
  (Aktuell noch keine Bewertungen)
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
82,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Chao Wang
Gary D. Hachtel
Fabio Somenzi
Abstraction Refinement for Large Scale Model Checking
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2006
6. Dezember 2014
Springer / Springer US / Springer, Berlin
978-1-4899-9395-3
Logic Minimization Algorithms for VLSI Synthesis
150,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Robert K. Brayton
Gary D. Hachtel
C. McMullen
Logic Minimization Algorithms for VLSI Synthesis
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1984
17. September 2011
Springer / Springer US / Springer, Berlin
978-1-4612-9784-0
Auch erhältlich als
Gebundenes Buch150,99 €
Logic Minimization Algorithms for VLSI Synthesis
150,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Robert K. Brayton
Gary D. Hachtel
C. McMullen
Logic Minimization Algorithms for VLSI Synthesis
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1984.
31. August 1984
Springer / Springer US / Springer, Berlin
11108528,978-0-89838-164-1
Logic Synthesis and Verification Algorithms
Gary D. Hachtel
Fabio Somenzi
Logic Synthesis and Verification Algorithms
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1996
2006
Springer, Berlin
Logic Synthesis and Verification Algorithms
Gary D. Hachtel
Fabio Somenzi
Logic Synthesis and Verification Algorithms
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1996.
1996
Springer / Springer US / Springer, Berlin
978-0-7923-9746-5


Ähnlichkeitssuche: Fact®Finder von OMIKRON