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

Medimops DE
23-04-2026 06:08:19
Gesponsert

SpringerLink DE
22-04-2026 22:04:25