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)
134.50 EUR
Preis aktualisiert am: 19-05-2026 07:04:55
134.50 EUR
Preis aktualisiert am: 19-05-2026 07:04:55 | Bezeichner | |
|---|---|
| ISBN | Melham, T. F. 052141718X |
| MPN | Melham, T. F. line drawings, tables, references |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Melham, T. F.
