Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
63.94 EUR
Preis aktualisiert am: 15-05-2026 10:16:57
63.94 EUR
Preis aktualisiert am: 15-05-2026 10:16:57 
SpringerLink DE
Gesponsert Isabelle/HOL
64.19 EUR
Preis aktualisiert am: 15-05-2026 03:40:10
64.19 EUR
Preis aktualisiert am: 15-05-2026 03:40:10 | Bezeichner | |
|---|---|
| MPN | Tobias Nipkow 1 |
| ISBN | Tobias Nipkow 3540433767 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Tobias Nipkow
