Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Product ID: 3319836382
Condition: New
$ 365
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
Refer to Sapnet.
IsAdultProduct
Height
9.2499815
Length
6.0999878
Weight
0.8598028218
Width
0.63
ReleaseDate
2018-06-29T00:00:01Z
NumberOfItems
1
Author
Zhan, Naijun, Wang, Shuling, Zhao, Hengjun
You might also like
Coutgo Women's Clear Heeled Sandals Transparent Two Strap Chunky Block Heels Mules Open Toe Slip On Dress Shoes, Apricot, Size 7
Motivational Quote Inspiration Positive Saying Life Slogan T-Shirt, Men, Purple Heather, XX-Large
Die landwirthschaftlichen Versuchs-Stationen: Fünfter Band (German Edition)
Die Kaiserkrone (German Edition)
Grünberger Handschrift (German Edition)
Die Berechnung vom Flächeninhalt der Kugelzone (German Edition)
Die Auflösung der Algebraischen und Transzendenten Gleichungen (German Edition)
Der Torf (German Edition)