9783319470146 - formal verification of simulink/stateflow diagrams: a deductive approach di zhan (10 risultati)

Perfeziona la tua ricerca

  • Libri (10)

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Inglese

      Editore: Springer, 2016

      3319470140 / 9783319470146

      • Rilegato

      Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 128,09

      EUR 13,91 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: New. In.

    • Lingua: Inglese

      Editore: Springer, 2016

      3319470140 / 9783319470146

      • Rilegato

      Da: Buchpark, Trebbin, GermaniaBuchpark

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Ottimo

      EUR 58,69

      EUR 105,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Condizione: 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 veri

    • Lingua: Inglese

      Editore: Springer, 2016

      3319470140 / 9783319470146

      • Rilegato

      Da: Buchpark, Trebbin, GermaniaBuchpark

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato

      EUR 60,45

      EUR 105,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Condizione: 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-ba

    • Lingua: Inglese

      Editore: Springer, Springer, 2016

      3319470140 / 9783319470146

      • Rilegato

      Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 123,04

      EUR 62,91 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Buch. Condizione: 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, an

    • Lingua: Inglese

      Editore: Springer, 2016

      3319470140 / 9783319470146

      • Rilegato

      Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 183,71

      EUR 14,51 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 2 disponibili

      Hardcover. Condizione: Brand New. 276 pages. 9.25x6.10x0.60 inches. In Stock.

    • Lingua: Inglese

      Editore: Springer, 2016

      3319470140 / 9783319470146

      • Rilegato

      Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Molto buono

      EUR 189,90

      EUR 39,95 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

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

    • Lingua: Inglese

      Editore: Springer, 2016

      3319470140 / 9783319470146

      • Rilegato
      • Print on Demand

      Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 98,25

      EUR 6,80 spedizione 
      Spedito da Italia a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: new. Questo è un articolo print on demand.

    • Lingua: Inglese

      Editore: Springer International Publishing Nov 2016, 2016

      3319470140 / 9783319470146

      • Rilegato
      • Print on Demand

      Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 123,04

      EUR 23,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 2 disponibili

      Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 verificat

    • Lingua: Inglese

      Editore: Springer International Publishing, 2016

      3319470140 / 9783319470146

      • Rilegato
      • Print on Demand

      Da: moluna, Greven, Germaniamoluna

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 105,45

      EUR 48,99 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: Più di 20 disponibili

      Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides development of the method, from theories to implementations, and then to applicationsCovers a broad range of topics, both theoretical and practical, including hybrid systems, deductive verification

    • Lingua: Inglese

      Editore: Springer, Birkhäuser Nov 2016, 2016

      3319470140 / 9783319470146

      • Rilegato
      • Print on Demand

      Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 123,04

      EUR 60,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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