Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs (Next Level Technology)

Prices from
25.46

Featured

COMPARE ALL WEBSHOPS (2)

Description

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs (Next Level Technology)

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

Compare webshops (2)

Sort by:

£ 25.46

£ 25.46

Description (0)

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs (Next Level Technology)

Product specifications

Brand Independently Published
EAN
  • 9798175450287

Independently Published

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

£ 10.25
Compare 2 stores 2 stores

Academic Press

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

£ 26.99
More Information More Info

Academic Press

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

£ 34.50
Compare 2 stores 2 stores

Academic Press

The Nuts and Bolts of Proofs, Third Edition: An Introduction to Mathematical Proofs

£ 37.99
Compare 2 stores 2 stores
Featured Choice
£ 25.46
To Shop