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

Ä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
Scalable Techniques for Formal Verification (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Sandip Ray
Scalable Techniques for Formal Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. Juni 2010
Springer US
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
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
A Roadmap for Formal Property Verification (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Pallab Dasgupta
A Roadmap for Formal Property Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. Januar 2007
Springer Netherland
Design and Verification of Microprocessor Systems for High-Assurance Applications (eBook, PDF)
106,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Design and Verification of Microprocessor Systems for High-Assurance Applications (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. März 2010
Springer US


Ähnlichkeitssuche: Fact®Finder von OMIKRON