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
preigu.de
Gesponsert Isabelle/HOL
59.35 EUR
Preis aktualisiert am: 19-05-2026 03:12:15
59.35 EUR
Preis aktualisiert am: 19-05-2026 03:12:15 
Gesponsert Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
63.94 EUR
Preis aktualisiert am: 19-06-2026 20:12:38
63.94 EUR
Preis aktualisiert am: 19-06-2026 20:12:38 
SpringerLink DE
Gesponsert Isabelle/HOL
64.19 EUR
Preis aktualisiert am: 19-06-2026 18:49:11
64.19 EUR
Preis aktualisiert am: 19-06-2026 18:49:11 | Bezeichner | |
|---|---|
| MPN | Tobias Nipkow 1 |
| ISBN | Tobias Nipkow 3540433767 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Tobias Nipkow
