Suchergebnisse für "Harry Hsieh"

4 gefundene Artikel




Ähnliche Artikel


Symbolic Simulation Methods for Industrial Formal Verification
79,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Robert B. Jones
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2002
23. Oktober 2012
Springer, Berlin

Symbolic Simulation Methods for Industrial Formal Verification
103,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Robert B. Jones
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2002
30. Juni 2002
Springer Netherlands

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
95,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Jui-Ming Chang
Massoud Pedram
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
30. Juni 1999
Springer, Berlin

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
79,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Jui-Ming Chang
Massoud Pedram
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1999
29. Oktober 2012
Springer, Berlin

The Synthesis Approach to Digital System Design
157,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Petra Michel / Ulrich Lauther / Peter Duzy (Hgg.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1992.
31. März 1992
Springer, Berlin

Constraint-Based Verification
118,99 €
Versandfertig in 2-4 Wochen
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

Constraint-Based Verification
Statt 112,99 €**
70,99 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
Jun Yuan
Carl Pixley
Adnan Aziz
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Februar 2006
Springer / Springer US / Springer, Berlin
11054849

A Roadmap for Formal Property Verification
103,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Pallab Dasgupta
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
19. Oktober 2010
Springer / Springer Netherlands

Scalable Techniques for Formal Verification
96,99 €
Sofort lieferbar
Versandkostenfrei*
Sandip Ray
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Januar 2011
Springer / Springer US / Springer, Berlin
12591923



Ähnlichkeitssuche: Fact®Finder von OMIKRON