Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, Naijun
Ø 0.0
0 Bewertungen
23,95 €
Es kann sich unter Umständen um ein Mängelexemplar in gutem Zustand handeln. eine Lösung finden können. Den Zustand der Ware versuchen wir so gut wie möglich zu beschreiben. Diese können Stempel oder ähnliches der jeweiligen Bibliothek enthalten.
Jetzt bei Ebay:
-
ISBN-10:3319470140
-
ISBN-13:9783319470146
-
Buchtitel:Formal Verification of Simulink/Stateflow Diagrams
-
Untertitel:A Deductive Approach
-
Höhe:2.1 cm
-
Gewicht:582 g
-
Länge:24.1 cm
-
Breite:16 cm
-
ISBN:9783319470146
-
Produktart:Lehrbuch
-
Format:Gebundene Ausgabe
-
Erscheinungsjahr:2016
-
Anzahl der Seiten:Xv Seiten
-
Autor:Naijun Zhan
-
Verlag:Springer-Verlag Gmbh, Springer International Publishing
-
Publikationsname:Formal Verification of Simulink/Stateflow Diagrams
-
Sprache:Englisch
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 23. June 2025 und 23. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere
