Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1283)) | DealShopping Deutschland

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

~~54.99 EUR~~ 53.49 EUR 3% Off

Gesponsert

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

Medimops DE

53.49 EUR

10-08-2026 06:13:07

Gesponsert

Modular Compiler Verification

SpringerLink DE

54.99 EUR

10-08-2026 17:56:30