The Verification of MDG Algorithms in the HOL Theorem Prover

54.54 EUR

Marke: LAP Lambert Academic Publishing

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

Gesponsert The Verification of MDG Algorithms in the HOL Theorem Prover

54.54 EUR 54.54 EUR

28-08-2026 18:27:25

Access to the deal