Suchergebnisse für "Mark D. Aagaard / John W. O'Leary (eds.)"




Ähnliche Artikel


Formal Methods in Computer-Aided Design
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Warren A. Jr. Hunt / Steven D. Johnson (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
2000.
18. Oktober 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41219-9

Concurrency and Hardware Design
39,99 €
Versandfertig in 1-2 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

Correct Hardware Design and Verification Methods
39,99 €
Versandfertig in 1-2 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

Correct Hardware Design and Verification Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Laurence Pierre / Thomas Kropf (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
1999.
15. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704583,978-3-540-66559-5

Correct Hardware Design and Verification Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
George J. Milne / Laurence Pierre (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
1993.
12. Mai 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56778-3

Computer Architecture
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Silvia M. Mueller
Wolfgang J. Paul
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Complexity and Correctness
Softcover reprint of hardcover 1st ed. 2000
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08691-5

FM8501: A Verified Microprocessor
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Warren A. Hunt
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1994.
20. Mai 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57960-1

Formal Hardware Verification
39,99 €
Versandfertig in 1-2 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

Correct Hardware Design and Verification Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Tiziana Margaria / Tom Melham (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
2001
27. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42541-0

Computer Systems: Architectures, Modeling, and Simulation
39,99 €
Versandfertig in 1-2 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



Ähnlichkeitssuche: Fact®Finder von OMIKRON