Isabelle/HOL

64.19 EUR 10% Off 71.00 EUR

Marke: Tobias Nipkow

MPN: 1

ISBN: 3540433767

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

-10%

Gesponsert Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

64.19 EUR 71.00 EUR

29-07-2026 06:19:16

Access to the deal

71.00 EUR 71.00 EUR

29-07-2026 07:16:46

Access to the deal