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

Preise von
11,90

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

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

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

11,90 €

11,90 €

Beschreibung (0)

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

Produktspezifikationen

Marken Independently Published
EAN
  • 9798194158706

OXFORD UNIV PR

Logic: Techniques of Formal Reasoning

164,64 €
2 Shops vergleichen 2 Shops

Set Theory (Studies in Logic: Mathematical Logic and Foundations)

32,50 €
3 Shops vergleichen 3 Shops

Birkhaeuser

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

64,19 €
2 Shops vergleichen 2 Shops

Independently Published

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

12,82 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
11,90 €
Zum Shop