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

Prices from
9.52

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 9.52
To Shop
Amazon Marketplace Logo
£ 9.52
To Shop
Description (0)

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

Product specifications

Brand Independently Published
EAN
  • 9798194158706

Independently Published

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory

£ 22.61
Compare 2 stores 2 stores

Independently Published

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

£ 8.56
Compare 2 stores 2 stores

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

£ 54.99
Compare 2 stores 2 stores

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

£ 59.93
Compare 2 stores 2 stores
Featured Choice
£ 9.52
To Shop