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

Priser från
130,53

Sponsrade länkar

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)

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

Sortera efter:

130,53 kr

130,53 kr

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

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

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