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

Prix à partir de
31,41

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Trier par:

31,41 €

31,41 €

Description (0)

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798175450287

Independently Published

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

12,70 €
Comparer 2 magasins 2 magasins

Cambridge University Press

Proofs and Refutations: The Logic of Mathematical Discovery

17,48 €
Comparer 2 magasins 2 magasins

Independently Published

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

12,70 €
Comparer 2 magasins 2 magasins

Independently Published

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques...

11,79 €
Comparer 2 magasins 2 magasins
Choix en vedette
31,41 €
Voir l’offre