Suchergebnisse für "Naijun Zhan"

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
Formal Methods (eBook, PDF)
81,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
10. November 2021
Springer International Publishing
Auch erhältlich als
Broschiertes Buch81,99 €
Symposium on Real-Time and Hybrid Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Symposium on Real-Time and Hybrid Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
28. September 2018
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
Dependable Software Engineering: Theories, Tools, and Applications (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Dependable Software Engineering: Theories, Tools, and Applications (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. Oktober 2016
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch38,99 €
Symposium on Real-Time and Hybrid Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Symposium on Real-Time and Hybrid Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
1st ed. 2018
29. September 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-01460-5
Formal Methods
81,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Formal Methods
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
24th International Symposium, FM 2021, Virtual Event, November 20¿26, 2021, Proceedings
1st ed. 2021
10. November 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-90869-0
Dependable Software Engineering: Theories, Tools, and Applications
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Dependable Software Engineering: Theories, Tools, and Applications
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
1st ed. 2016
6. Oktober 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47676-6


Ähnlichkeitssuche: Fact®Finder von OMIKRON