Akademibokhandeln

Shuling Wang – författare

Visar alla böcker från författaren Shuling Wang.

2 produkter

  1. Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Inbunden. Tillgänglighet: Lägg i varukorg

    Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach

    Av Naijun Zhan, Shuling Wang m. fl.

    Inbunden, 2016

    1619 kr

    Lägg i varukorg

  2. Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach

    Av Naijun Zhan, Shuling Wang m. fl.

    Häftad, 2018

    1619 kr

    Lägg i varukorg