Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Prices from
84.31

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 273, Edition: 1st ed. 2017, Hardcover, Springer
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 84.31
To Shop
Amazon Marketplace Logo
£ 84.31
To Shop
Description (1)

Pages: 273, Edition: 1st ed. 2017, Hardcover, Springer

Product specifications

Brand Springer
EAN
  • 9783319470146

Springer

Formal Verification of Floating Point Hardware Design: A Mathematical Approach

£ 80.66
Compare 2 stores 2 stores

CRC Press

Digital Integrated Circuits: Design-for-Test Using Simulink and Stateflow

£ 97.56
More Information More Info

The MISRA Consortium Limited

MISRA AC SLSF:2023: Modelling design and style guidelines for the application of Simulink Stateflow

£ 30.00
Compare 2 stores 2 stores

Springer

Formal Verification of Circuits

£ 123.49
More Information More Info
Featured Choice
£ 84.31
To Shop