Suchergebnisse für "Hengjun Zhao"

Formal Verification of Simulink/Stateflow Diagrams (eBook, PDF)
117,69 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Naijun Zhan
Shuling Wang
Hengjun Zhao
Formal Verification of Simulink/Stateflow Diagrams (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
7. November 2016
Springer International Publishing
Formal Verification of Simulink/Stateflow Diagrams
85,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Naijun Zhan
Shuling Wang
Hengjun Zhao
Formal Verification of Simulink/Stateflow Diagrams
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Deductive Approach
Softcover reprint of the original 1st ed. 2017
29. Juni 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-83638-6
Auch erhältlich als
Gebundenes Buch85,99 €
Formal Verification of Simulink/Stateflow Diagrams
85,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Naijun Zhan
Shuling Wang
Hengjun Zhao
Formal Verification of Simulink/Stateflow Diagrams
  (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
Modeling, Analysis, Design, and Tests for Electronics Packaging beyond Moore (eBook, ePUB)
150,95 €
Sofort per Download lieferbar
Versandkostenfrei
Hengyun Zhang
Faxing Che
Tingyu Lin
…mehr Autoren
Wensheng Zhao
Modeling, Analysis, Design, and Tests for Electronics Packaging beyond Moore (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
14. November 2019
Elsevier Science & Techn.
Auch erhältlich als
Broschiertes Buch150,99 €

Ähnliche Artikel

Formal Verification of Floating-Point Hardware Design (eBook, PDF)
90,94 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
David M. Russinoff
Formal Verification of Floating-Point Hardware Design (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. Oktober 2018
Springer International Publishing
Formal System Verification (eBook, PDF)
117,69 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Formal System Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
21. Juni 2017
Springer International Publishing
Model-Driven Design Using IEC 61499 (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Li Hsien Yoong
Partha S. Roop
Zeeshan E. Bhatti
…mehr Autoren
Matthew M. Y. Kuo
Model-Driven Design Using IEC 61499 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. November 2014
Springer International Publishing
Formal Specification Level (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Mathias Soeken
Rolf Drechsler
Formal Specification Level (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
12. November 2014
Springer International Publishing
New Data Structures and Algorithms for Logic Synthesis and Verification (eBook, PDF)
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Luca Gaetano Amaru
New Data Structures and Algorithms for Logic Synthesis and Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. August 2016
Springer International Publishing
Advanced Logic Synthesis (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Advanced Logic Synthesis (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
15. November 2017
Springer International Publishing
Functional Verification of Dynamically Reconfigurable FPGA-based Systems (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Lingkan Gong
Oliver Diessel
Functional Verification of Dynamically Reconfigurable FPGA-based Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
8. Oktober 2014
Springer International Publishing
Formal Methods for Discrete-Time Dynamical Systems (eBook, PDF)
171,19 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Calin Belta
Boyan Yordanov
Ebru Aydin Gol
Formal Methods for Discrete-Time Dynamical Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
8. März 2017
Springer International Publishing
Polynomial Formal Verification of Approximate Functions (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Martha Schnieber
Polynomial Formal Verification of Approximate Functions (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Juli 2023
Springer Fachmedien Wiesbaden
Beyond-CMOS Technologies for Next Generation Computer Design (eBook, PDF)
117,69 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Beyond-CMOS Technologies for Next Generation Computer Design (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
20. August 2018
Springer International Publishing


Ähnlichkeitssuche: Fact®Finder von OMIKRON