Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)
Gesponsert
Medimops DE
53.24 EUR
Preis aktualisiert am: 10-05-2026 09:16:04
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 08:19:14
Allgemein
Marke
Paulson, Lawrence C.
MPN
Paulson, Lawrence C. 1
ISBN
Paulson, Lawrence C. 3540582444
