Hengjun Zhao – författare

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

2 produkter

Kategorier

2 produkter

Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Inbunden

Formal Verification of Simulink/Stateflow Diagrams

A Deductive Approach

AvNaijun Zhan,Shuling Wangm. fl.

Inbunden, Engelska, 2016

1 609 kr

Skickas inom 10-15 vardagar

Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Häftad

Formal Verification of Simulink/Stateflow Diagrams

A Deductive Approach

AvNaijun Zhan,Shuling Wangm. fl.

Häftad, Engelska, 2018

1 609 kr

Skickas inom 10-15 vardagar