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

Preise von
12,01

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

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

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Marketplace Logo
12,01 €
Gratis
12,01 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

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

Produktspezifikationen

Marken Independently Published
EAN
  • 9798170630691

Independently Published

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

12,01 €
Weitere Informationen Mehr Infos

Independently Published

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

12,93 €
Weitere Informationen Mehr Infos

Independently Published

FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

12,93 €
Weitere Informationen Mehr Infos

Wiley

Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, Games

163,95 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
12,01 €
Zum Shop