Isabelle/HOL

60.37 EUR 6% Off 63.99 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

-6%

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

60.37 EUR 63.99 EUR

16-09-2026 00:17:53

Access to the deal

63.99 EUR 63.99 EUR

16-09-2026 03:55:57

Access to the deal