Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs

Prices from
29.63

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs

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:

€ 29.63

€ 29.63

Description (0)

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs

Product specifications

Brand Independently Published
EAN
  • 9798175450287

Independently Published

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

€ 11.98
Compare 2 stores 2 stores

Springer

Introduction to Mathematical Structures and Proofs

€ 59.90
Compare 2 stores 2 stores

Independently Published

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

€ 11.16
Compare 2 stores 2 stores

Cambridge University Press

Proofs and Refutations: The Logic of Mathematical Discovery

€ 17.74
Compare 2 stores 2 stores
Featured Choice
€ 29.63
To Shop