Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwi
68,41 €
Modular Compiler Verification. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems.
Jetzt bei Ebay:
