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

Prices from
10.25

Sponsored links

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)

Sponsored links · Some shops pay us a fee

Sort by:

£ 10.25

£ 10.25

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