home
Formal Verification of Simulink/Stateflo....
Visit Springer store
new
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
02910BAUXX3319836382
1
Product From USA
new
|
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
02910BAUXX3319836382
Springer
Free Delivery
7 days Replacement
Manufacturers Warranty
Top Brand
Blue Dart Delivered
Secure Transaction
Product Description
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Product Specifications
Condition
new
Asin
3319836382
Category
Books
Subcategory
Mainframes & Minicomputers
Leafcategory
Book
MPN
9783319836386
Origin
USA
Brandname
Springer
Height
9.25
Length
6.1
Width
0.65
Weight
10