Isabelle

53.24 EUR 0% Off 53.49 EUR

Marke: Paulson, Lawrence C.

MPN: 1

ISBN: 3540582444

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-0%

Gesponsert Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)

53.24 EUR 53.49 EUR

28-04-2026 10:15:25

Access to the deal

53.49 EUR 53.49 EUR

27-04-2026 22:16:50

Access to the deal