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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)
Medimops DE
54.00 EUR
Preis aktualisiert am: 24-09-2026 10:13:04
Siehe Produktangebot
Gesponsert
Higher Order Logic and Hardware Verification
Hugendubel
57.49 EUR
Preis aktualisiert am: 24-09-2026 17:29:02
Siehe Produktangebot

Allgemein

Marke
Cambridge University Press

Eigenschaften

Ähnliche Produkte

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science, 816, Band 816)
Aus53.49 EUR 3
Produkt anzeigen
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859, Band 859)
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859, Band 859)
Aus53.49 EUR 3
Produkt anzeigen
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)
Aus44.99 EUR 2
Produkt anzeigen
Programming with Higher-Order Logic
Programming with Higher-Order Logic
Aus36.99 EUR 1
Produkt anzeigen
Mohindru, Pankaj: Simulation Performance of Pid and Fuzzy Logic for Higher Order Systems
Mohindru, Pankaj: Simulation Performance of Pid and Fuzzy Logic for Higher Order Systems
Aus43.99 EUR 1
Produkt anzeigen
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)
Aus142.00 EUR 1
Produkt anzeigen
Menü