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

Priser från
132,29

Utvalda

JäMFöR ALLA WEBBUTIKER (1)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (1)

Shop
Pris
Amazon Marketplace Logga
132,29 kr
Til butik
Beskrivning (0)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798170630691

Alphascript Publishing

Computational Science: Mathematical mode, Science, Social sciences, Computer simulation, Computation, Mathematics, Computer, Information processing

456,32 kr
Jämför 2 butiker 2 Butiker

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

130,49 kr
Jämför 2 butiker 2 Butiker

Independently Published

INTELLIGENCE: Volume 2 — The Machinery of Proof: How Logic, Mathematics, and...

802,87 kr
Jämför 2 butiker 2 Butiker

Independently Published

INTELLIGENCE: Volume 2 — The Machinery of Proof: How Logic, Mathematics, and...

200,71 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
132,29 kr
Til butik