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)
60.37 EUR
Preis aktualisiert am: 22-08-2026 13:45:05
60.37 EUR
Preis aktualisiert am: 22-08-2026 13:45:05 
SpringerLink DE
Gesponsert Isabelle/HOL
65.99 EUR
Preis aktualisiert am: 22-08-2026 13:26:44
65.99 EUR
Preis aktualisiert am: 22-08-2026 13:26:44 | Bezeichner | |
|---|---|
| MPN | Tobias Nipkow 1 |
| ISBN | Tobias Nipkow 3540433767 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Tobias Nipkow
