Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Lecture Notes in Computer Science
Muller-Olm, Markus
- 出版社：Springer Verlag
- 出版年月：1997年 09月
- ISBN：9783540634065
- 装丁：PAP
-
装丁について
- 言語：ENG
- DDC分類：005.453
装丁について