Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

53.49 EUR 9% Off 59.00 EUR

Marke: Springer

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

-9%

Gesponsert Modular Compiler Verification

53.49 EUR 59.00 EUR

24-09-2026 17:21:51

Access to the deal

-9%

53.49 EUR 59.00 EUR

28-09-2026 07:15:13

Access to the deal

59.00 EUR 59.00 EUR

29-09-2026 15:09:27

Access to the deal