Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)
51.30 EUR
Preis aktualisiert am: 15-05-2026 23:34:02
51.30 EUR
Preis aktualisiert am: 15-05-2026 23:34:02 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Cambridge University Press ist ein renommierter Verlag, der seit über 400 Jahren Bücher veröffentlicht. Er hat seinen Sitz in Cambridge, England, und ist weltweit tätig.
