Suchergebnisse für ""Harry Hsieh""




Ähnliche Artikel


Symbolic Simulation Methods for Industrial Formal Verification
77,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Robert B. Jones
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2002
23. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-5395-9

Symbolic Simulation Methods for Industrial Formal Verification
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Robert B. Jones
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2002
30. Juni 2002
Springer / Springer Netherlands / Springer US
978-1-4020-7103-4

The Synthesis Approach to Digital System Design
118,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Petra Michel / Ulrich Lauther / Peter Duzy (Hgg.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1992.
31. März 1992
Springer / Springer US / Springer, Berlin
978-0-7923-9199-9

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jui-Ming Chang
Massoud Pedram
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
30. Juni 1999
Springer / Springer US / Springer, Berlin
978-0-7923-8560-8

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Jui-Ming Chang
Massoud Pedram
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1999
29. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-7368-1

The Secd Microprocessor
120,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Brian T. Graham
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
A Verification Case Study
1992.
31. Mai 1992
Springer / Springer US / Springer, Berlin
978-0-7923-9245-3

Design and Verification of Microprocessor Systems for High-Assurance Applications
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
15. März 2010
Springer / Springer US / Springer, Berlin
12647309,978-1-4419-1538-2

Scalable Techniques for Formal Verification
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Sandip Ray
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
25. Mai 2010
Springer / Springer US / Springer, Berlin
12591923,978-1-4419-5997-3

Constraint-Based Verification
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Jun Yuan
Carl Pixley
Adnan Aziz
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
29. Oktober 2010
Springer / Springer US / Springer, Berlin
978-1-4419-3852-7



Ähnlichkeitssuche: Fact®Finder von OMIKRON