... for writing programs, powerful abstraction methods for structuring programs, and a simple mathematical basis that supports reasoning about programs.
確定! 回上一頁