Isabelle/HOL

63.94 EUR 0% Off 64.19 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

-0%

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

63.94 EUR 64.19 EUR

11-06-2026 17:38:02

Access to the deal

64.19 EUR 64.19 EUR

11-06-2026 23:41:36

Access to the deal