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: 23-08-2026 07:33:42
53.24 EUR
Preis aktualisiert am: 23-08-2026 07:33:42 
SpringerLink DE
Gesponsert Isabelle
53.49 EUR
Preis aktualisiert am: 23-08-2026 13:28:58
53.49 EUR
Preis aktualisiert am: 23-08-2026 13:28:58 | Bezeichner | |
|---|---|
| MPN | Paulson, Lawrence C. 1 |
| ISBN | Paulson, Lawrence C. 3540582444 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Paulson, Lawrence C.
