Zhao hengjun (2 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun
Sprache: Englisch
Verlag: Springer, 2018
3319836382 / 9783319836386
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 129,18
EUR 14,03 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: New. In.
Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach
Zhan, Naijun (Author)/ Wang, Shuling (Author)/ Zhao, Hengjun (Author)
Sprache: Englisch
Verlag: Springer, 2016
3319470140 / 9783319470146
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 184,63
EUR 14,64 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 276 pages. 9.25x6.10x0.60 inches. In Stock.