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

20-06-2026 02:09:01

Gesponsert

Modular Compiler Verification

SpringerLink DE

53.49 EUR

19-06-2026 18:49:35