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

Name: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, (Paperback)
Brand: Naijun Zhan
SKU: prod_6ee2394bd79129c497983943
Price: 251.00 USD
Availability: InStock

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, (Paperback) Author: Springer ISBN: 9783319836386 Format: Paperback Publication Date: 2018-06-29 Page Count: 258

Shipping & Returns

Price unavailable

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, (Paperback)—

$251.00

Price unavailable

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, (Paperback)—

$251.00