Suchergebnisse für ""Jørgen Staunstrup""




Ähnliche Artikel


Automatic Programming Applied to VLSI CAD Software: A Case Study
115,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dorothy E. Setliff
Rob A. Rutenbar
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
26. September 2011
Springer / Springer US / Springer, Berlin
978-1-4612-8831-2

Parallel Machines: Parallel Machine Languages
115,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Robert A. Iannucci
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The Emergence of Hybrid Dataflow Computer Architectures
21. September 2011
Springer / Springer US / Springer, Berlin
978-1-4612-8827-5

NASA Formal Methods
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
9. April 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-17523-2

Principles of Verifiable RTL Design
76,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Lionel Bening
Harry D. Foster
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A functional coding style supporting verification processes in Verilog
Softcover reprint of the original 1st ed. 2000
12. April 2013
Springer / Springer US / Springer, Berlin
978-1-4757-7313-2

Introduction to IDDQ Testing
76,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
S. Chakravarty
Paul J. Thadikaran
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-7812-9

Logic Synthesis for Control Automata
113,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Samary Baranov
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13. Juli 2013
Springer / Springer US / Springer, Berlin

Principles of Verifiable RTL Design
113,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Lionel Bening
Harry D. Foster
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A functional coding style supporting verification processes in Verilog
2. Aufl.
23. März 2013
Springer / Springer US / Springer, Berlin

Hardware and Software: Verification and Testing
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
31. Oktober 2013
Springer / Springer International Publishing / Springer, Berlin
86338202,978-3-319-03076-0

Formal Verification of Simulink/Stateflow Diagrams
87,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Naijun Zhan
Shuling Wang
Hengjun Zhao
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
A Deductive Approach
1st ed. 2017
14. November 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47014-6



Ähnlichkeitssuche: Fact®Finder von OMIKRON