Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1283))
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 19:32:15
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 06:49:35
Allgemein
Marke
Springer
