Naijun Zhan (u. a.) | Formal Verification of Simulink/Stateflow Diagrams | Buch
109,95 €
Titel: Formal Verification of Simulink/Stateflow Diagrams | Zusatz: A Deductive Approach | Medium: Taschenbuch | Autor: Naijun Zhan (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xv / 258 S. / 14 s/w Illustr. / 60 farbige Illustr. / 258 p. 74 illus. / 60 illus. in color. | Auflage: Softcover reprint of the original 1st edition 2017 | Sprache: Englisch | Seiten: 276 | Maße: 235 x 155 x 16 mm | Erschienen: 29.06.2018 | Anbieter: Faboplay.
Jetzt bei Ebay:
