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

Prix à partir de
31,26

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,26 € Total 34,26 €

31,26 € Total 34,26 €

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,64 €
Comparer 2 magasins 2 magasins

Springer-Verlag New York Inc.

Introduction to Mathematical Structures and Proofs

55,30 €
Comparer 2 magasins 2 magasins

Springer

Introduction to Mathematical Structures and Proofs

52,74 €
Comparer 2 magasins 2 magasins

Independently Published

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

11,77 €
Comparer 2 magasins 2 magasins
Choix en vedette
31,26 €
Voir l’offre