MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques and Computational Reasoning

Priser från
130,53

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques and Computational Reasoning

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
130,53 kr
Til butik
Amazon Marketplace Logga
130,53 kr
Til butik
Beskrivning (0)

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques and Computational Reasoning

Produktspecifikationer

Märke Independently Published
EAN
  • 9798194158706

Independently Published

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory

301,00 kr
Jämför 2 butiker 2 Butiker

Independently Published

An introduction to Propositional Logic and Set Theory: Foundations of Mathematical Reasoning....

113,20 kr
Jämför 2 butiker 2 Butiker

Independently Published

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

140,58 kr
Jämför 2 butiker 2 Butiker

Betascript Publishers

Proof Theory: Mathematical Object, Logic, Proof, Data Structure, Rule of Inference, Syntax...

288,05 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
130,53 kr
Til butik