AKTUELLE PARTNERANGEBOTE

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Name: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Brand: Naijun Zhan
SKU: 2702307

Binding : Gebundene Ausgabe, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 258, publicationDate : 2016-11-14, authors : Naijun Zhan, Shuling Wang, Hengjun Zhao, languages : english, ISBN : 3319470140

1 Angebote · ab 123,04 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Finde das Produkt,
das wirklich zu dir passt.