Naijun Zhan Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  1.074,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (Bog, Paperback / softback, Engelsk)

  Af: Naijun Zhan

  This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring... Læs mere

  PRIS

  1.074,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv