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))

53.49 EUR

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

23-04-2026 06:08:19

Gesponsert

Modular Compiler Verification

SpringerLink DE

53.49 EUR

22-04-2026 22:04:25