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

19-06-2026 20:00:38

Access to the deal

53.49 EUR 53.49 EUR

19-06-2026 18:49:16

Access to the deal