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

Wo zu kaufen (1) Eigenschaften
Gesponsert
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)
Medimops DE
51.30 EUR
Preis aktualisiert am: 17-05-2026 02:35:16
Siehe Produktangebot

Allgemein

Marke
Cambridge University Press

Eigenschaften

Ähnliche Produkte

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)
Produkt anzeigen
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)
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
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)
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)
Produkt anzeigen
Programming with Higher-Order Logic
Programming with Higher-Order Logic
Produkt anzeigen
Menü