Suchergebnisse für ""Silvia M. Mueller""




Ähnliche Artikel


Formal Methods in Computer-Aided Design
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Mark D. Aagaard / John W. O'Leary (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
2002
23. Oktober 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00116-4

Introduction to Formal Hardware Verification
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Thomas Kropf
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 1999
9. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08477-5

Introduction to Formal Hardware Verification
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Thomas Kropf
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
16. Oktober 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-65445-2

Correct Hardware Design and Verification Methods
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Camurati
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
1995.
18. September 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60385-6

Concurrency and Hardware Design
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jordi Cortadella / Alex Yakovlev / Grzegorz Rozenberg (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Advances in Petri Nets
2002
26. November 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00199-7

Computer Systems: Architectures, Modeling, and Simulation
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Andy Pimentel / Stamatis Vassiliadis (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings
2004
5. Juli 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11018575,978-3-540-22377-1

Embedded Computer Systems: Architectures, Modeling, and Simulation
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
2008
7. Juli 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12437931,978-3-540-70549-9

Embedded Computer Systems: Architectures, Modeling, and Simulation
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, Proceedings
2009
13. Juli 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12718269,978-3-642-03137-3

Formal Hardware Verification
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Kropf
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Methods and Systems in Comparison
1997.
27. August 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-63475-1



Ähnlichkeitssuche: Fact®Finder von OMIKRON