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: 15-11-2026 05:06:10
Siehe Produktangebot
Gesponsert
Higher Order Logic and Hardware Verification
Hugendubel
57.49 EUR
Preis aktualisiert am: 14-11-2026 09:28:45
Siehe Produktangebot

Allgemein

Marke
Cambridge University Press

Eigenschaften

Ähnliche Produkte

Programming with Higher-Order Logic
Programming with Higher-Order Logic
Aus37.99 EUR 1
Produkt anzeigen
High-Order Harmonic Generation in Laser Plasma Plumes
High-Order Harmonic Generation in Laser Plasma Plumes
Aus101.80 EUR 1
Produkt anzeigen
Solving Higher-Order Equations: From Logic To Programming (Progress in Theoretical Computer Science)
Solving Higher-Order Equations: From Logic To Programming (Progress in Theoretical Computer Science)
Aus101.64 EUR 4
Produkt anzeigen
PBL and Higher Order Thinking Communication Skills
PBL and Higher Order Thinking Communication Skills
Aus43.99 EUR 1
Produkt anzeigen
Reading and Dyslexia
Reading and Dyslexia
Aus170.99 EUR 4
Produkt anzeigen
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Band 7)
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Band 7)
Aus89.90 EUR 3
Produkt anzeigen
Menü