Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Verification

Prices from
121.88

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Verification

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 121.88

£ 121.88

Description (0)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Verification

Product specifications

Brand Springer
EAN
  • 9780792392859

Wiley-ISTE

Industrial Use of Formal Methods: Verification

£ 129.99
More Information More Info

Princeton University Press

Computer Aided Verification of Coordinating Processes the AutomataTheoretic Approach (Princeton Series in Science)

£ 67.50
Compare 2 stores 2 stores

Springer

Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software...

£ 34.99
Compare 2 stores 2 stores

Springer

Formal Verification of Floating Point Hardware Design: A Mathematical Approach

£ 84.14
Compare 2 stores 2 stores
Featured Choice
£ 121.88
To Shop