Suchergebnisse für ""Robert B. Jones""




Ähnliche Artikel


Synchronous Equivalence
83,99 €
Versandfertig in 1-2 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 US / Springer, Berlin
978-1-4613-5664-6

Synchronous Equivalence
83,99 €
Versandfertig in 1-2 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 / Springer US / Springer, Berlin
978-0-7923-7262-2

The Secd Microprocessor
123,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

A Roadmap for Formal Property Verification
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Pallab Dasgupta
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
19. Oktober 2010
Springer / Springer Netherlands
978-90-481-7185-9

A Roadmap for Formal Property Verification
122,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Pallab Dasgupta
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2006 edition
5. Juli 2006
Springer / Springer Netherlands
11563778,978-1-4020-4757-2

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
83,99 €
Versandfertig in 1-2 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

Scalable Hardware Verification with Symbolic Simulation
76,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Valeria Bertacco
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
29. Oktober 2010
Springer / Springer US / Springer, Berlin
978-1-4419-3739-1

Scalable Hardware Verification with Symbolic Simulation
123,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Valeria Bertacco
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2006 edition
21. Dezember 2005
Springer / Springer US / Springer, Berlin
978-0-387-24411-2



Ähnlichkeitssuche: Fact®Finder von OMIKRON