1. Home
  2. Medien
  3. Bücher
  4. Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)
  • #

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)

51.30 EUR

Teilen:

Ähnliche Produkte

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)

134.50 EUR
Higher-Order Algebra Logic and Term Rewriting

Higher-Order Algebra Logic and Term Rewriting

53.49 EUR
Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

53.49 EUR
Programming with Higher-Order Logic

Programming with Higher-Order Logic

36.49 EUR
Simulation Performance of Pid and Fuzzy Logic for Higher Order Systems: Fuzzy control is widely used in industrial processes to achieve optimal control performances for higher order systems

Simulation Performance of Pid and Fuzzy Logic for Higher Order Systems: Fuzzy control is widely used in industrial processes to achieve optimal control performances for higher order systems

32.86 EUR
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, Logic and Cognitive Systems, Band 10)

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, Logic and Cognitive Systems, Band 10)

45.00 EUR
Intensional and Higher-Order Modal Logic

Intensional and Higher-Order Modal Logic

179.99 EUR
Bell, John L.: Higher-Order Logic and Type Theory

Bell, John L.: Higher-Order Logic and Type Theory

24.90 EUR