FORMAL MATHEMATICS and COMPUTER PROOF: Mathematical Structures Proof Construction Verification Reliable Computation

Prix à partir de
11,84

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

FORMAL MATHEMATICS and COMPUTER PROOF: Mathematical Structures Proof Construction Verification Reliable Computation

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

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
11,84 €
3,00 €
14,84 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
11,84 €
3,00 €
14,84 €
Voir l’offre
3,00 € Shipping Costs
Description (0)

FORMAL MATHEMATICS and COMPUTER PROOF: Mathematical Structures Proof Construction Verification Reliable Computation

Spécifications du produit

Marque Independently Published
EAN
  • 9798170630691

Independently Published

COMPUTER ASSISTED MATHEMATICS: Formal Proofs Symbolic Reasoning Mathematical Structures and Verification

11,84 €
Comparer 2 magasins 2 magasins

Independently Published

MACHINE CHECKED MATHEMATICS: Formal Definitions Proof Construction Mathematical Libraries and Verified Results

11,84 €
Comparer 2 magasins 2 magasins

Independently Published

INTERACTIVE THEOREM PROVING: Proof Assistants Formal Logic Mathematical Reasoning and Verified Computation

12,74 €
Comparer 2 magasins 2 magasins

Independently Published

FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

12,74 €
Comparer 2 magasins 2 magasins
Choix en vedette
11,84 €
Voir l’offre