Suchergebnisse für "Jui-Ming Chang"

5 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

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 / Springer, Berlin
978-0-7923-9199-9

Synchronous Equivalence
79,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Harry Hsieh
Felice Balarin
Alberto L. Sangiovanni-Vincentelli
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Formal Methods for Embedded Systems
Softcover reprint of the original 1st ed. 2001
5. November 2012
Springer / Springer, Berlin
978-1-4613-5664-6

Synchronous Equivalence
95,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Harry Hsieh
Felice Balarin
Alberto L. Sangiovanni-Vincentelli
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Formal Methods for Embedded Systems
Repr. d. Ausg. v. 2000
31. Dezember 2000
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

Formal Methods and Models for System Design
126,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A System Level Perspective
Softcover reprint of the original 1st ed. 2004
14. Dezember 2011
Springer / Springer US / Springer, Berlin

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



Ähnlichkeitssuche: Fact®Finder von OMIKRON