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

Preise von
12,01

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

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

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

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

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

Produktspezifikationen

Marken Independently Published
EAN
  • 9798170627592

Independently Published

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

12,01 €
2 Shops vergleichen 2 Shops

Independently Published

FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

12,93 €
2 Shops vergleichen 2 Shops

Springer

Introduction to Mathematical Structures and Proofs (Undergraduate Texts in Mathematics)

49,99 €
2 Shops vergleichen 2 Shops

Princeton University Press

Mathematics and Plausible Reasoning: Volume II Patterns of Inference: Logic, Symbolic mathematical...

41,90 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
12,01 €
Zum Shop