9783319470146 - formal verification of simulink/stateflow diagrams: a deductive approach von zhan (6 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (6)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: Springer 2016

      3319470140 / 9783319470146

      • Hardcover

      Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 127,91

      EUR 13,89 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New. In.

    • Sprache: Englisch

      Verlag: Springer 2016

      3319470140 / 9783319470146

      • Hardcover

      Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Gebraucht - Sehr gut

      EUR 58,69

      EUR 105,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verific

    • Sprache: Englisch

      Verlag: Springer 2016

      3319470140 / 9783319470146

      • Hardcover

      Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Gebraucht

      EUR 60,45

      EUR 105,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based

    • Sprache: Englisch

      Verlag: Springer, Springer 2016

      3319470140 / 9783319470146

      • Hardcover

      Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 123,04

      EUR 62,91 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and s

    • 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,03

      EUR 14,49 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.

    • Sprache: Englisch

      Verlag: Springer 2016

      3319470140 / 9783319470146

      • Hardcover

      Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Gebraucht - Gut

      EUR 189,90

      EUR 39,95 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Hardcover. Zustand: gut. 2016. Formal Verification of Simulink/Stateflow Diagrams In deutscher Sprache. pages.