Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Priser från
1.007,84

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

1.007,84 kr

1.007,84 kr

Beskrivning (0)

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Produktspecifikationer

Märke Springer
EAN
  • 9783642058806

Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically...

142,07 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

Betascript Publishing

E Equational Theorem Prover: Automated Proving, First Order Logic, Superposition Calculus

334,08 kr
Jämför 2 butiker 2 Butiker

Pitchstone Publishing

Proving History: Bayes's Theorem and the Quest for Historical Jesus

199,22 kr
Mer information Mer info
Utvalt Val
1.007,84 kr
Til butik