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

product image

product image

product image

product image

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

53.49 EUR 9% Off 59.00 EUR

Marke: Springer

Angebote
Merkmale

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

-9%

Gesponsert Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1283, Band 1283)

53.49 EUR 59.00 EUR

14-08-2026 09:08:01

Access to the deal

Gesponsert Modular Compiler Verification

SpringerLink DE

59.00 EUR 59.00 EUR

14-08-2026 06:53:31

Access to the deal

Ähnliche Produkte