RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

Prices from
10.25

Featured

COMPARE ALL WEBSHOPS (2)

Description

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

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

Compare webshops (2)

Shop
Price
Amazon Logo
£ 10.25
To Shop
Amazon Marketplace Logo
£ 10.25
To Shop
Description (0)

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and Engineering Methods for High Confidence Systems

Product specifications

Brand Independently Published
EAN
  • 9798194379750

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

£ 10.25
Compare 2 stores 2 stores

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

£ 9.69
Compare 2 stores 2 stores

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

£ 5.22
More Information More Info

Independently Published

ENGINEERING MEASUREMENT SYSTEMS: Precision Instrumentation Calibration Methods and Performance Verification

£ 10.34
Compare 2 stores 2 stores
Featured Choice
£ 10.25
To Shop