Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)
53.24 EUR
Preis aktualisiert am: 19-06-2026 20:00:38
53.24 EUR
Preis aktualisiert am: 19-06-2026 20:00:38 
SpringerLink DE
Gesponsert Isabelle
53.49 EUR
Preis aktualisiert am: 19-06-2026 18:49:16
53.49 EUR
Preis aktualisiert am: 19-06-2026 18:49:16 | Bezeichner | |
|---|---|
| MPN | Paulson, Lawrence C. 1 |
| ISBN | Paulson, Lawrence C. 3540582444 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Paulson, Lawrence C.
