Visit Springer store

new Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

02910BAUXX3319836382
Shoptheworld
That Wanaka Tree, New Zealand by Laura Smetsers
Shoptheworld
    1
  • visa
  • mastercard
  • discover
  • Maestrocard
  • paypal
  • americanexpress
  • paytm
  • upi
flagProduct From USA  
new | Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
02910BAUXX3319836382
Springer
Free Delivery
Free Delivery
days Replacement
7 days Replacement
Manufacturers Warranty
Manufacturers Warranty
Top Brand
Top Brand
Blue Dart Delivered
Blue Dart Delivered
Secure Transaction
Secure Transaction
Product Description
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Product Specifications
Conditionnew
Asin3319836382
CategoryBooks
SubcategoryMainframes & Minicomputers
LeafcategoryBook
MPN9783319836386
OriginUSA
BrandnameSpringer
Height9.25
Length6.1
Width0.65
Weight10