Isabelle

53.24 EUR 3% Off 54.99 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

-3%

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

53.24 EUR 54.99 EUR

22-08-2026 13:39:34

Access to the deal

54.99 EUR 54.99 EUR

22-08-2026 13:26:46

Access to the deal