A Code Refinement Methodology for Performance-Improved Synthesis from C ; ISBN Information: CD: 1-59593-389-1 ; ISSN Information: Print ISSN: 1092-3152.
確定! 回上一頁