Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)
69.70 EUR
Preis aktualisiert am: 13-05-2026 18:49:45
69.70 EUR
Preis aktualisiert am: 13-05-2026 18:49:45 | Bezeichner | |
|---|---|
| ISBN | Cambridge University Press 9780521395601 |
| 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.
